AIGC動(dòng)態(tài)歡迎閱讀

原標(biāo)題：陶哲軒點(diǎn)評(píng)谷歌AlphaProof：AI在數(shù)學(xué)競(jìng)賽中展現(xiàn)「超凡智慧」
關(guān)鍵字：奧林匹克,數(shù)學(xué),問題,人工智能,模型
文章來(lái)源：機(jī)器之心
內(nèi)容字?jǐn)?shù)：0字

內(nèi)容摘要：

機(jī)器之心報(bào)道
編輯：大盤雞人工智能在數(shù)學(xué)推理中不斷前進(jìn)。在奧數(shù)問題面前，AI 的「智商」往往不太夠用。不過，這已經(jīng)是過去式了。谷歌 DeepMind 用 AI 做出了今年國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽 IMO 的真題，并且距拿金牌僅一步之遙。對(duì)于 AI 來(lái)說(shuō)，奧數(shù)不再是問題了。
IMO 2024 中六個(gè)問題的每一個(gè)問題滿分為 7 分，總分最高 42 分。DeepMind 的系統(tǒng)最終得分為 28 分，意味著解決的 4 個(gè)問題都獲得了滿分 —— 相當(dāng)于銀牌類別的最高分。
?
DeepMind 文章連接：https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
常用 AI 輔助證明的數(shù)學(xué)家陶哲軒近期正處在出差的忙碌中，對(duì)問題求解引擎 AlphaProof 和 AlphaGeometry2 還未完全消化。但他在自己的博客上對(duì) DeepMind 的 AI 系統(tǒng)參加 IMO 競(jìng)賽這件事表達(dá)了自己的看法。陶哲軒談到，這是一項(xiàng)非常偉大的工作， 再次改變了我們對(duì)哪些基準(zhǔn)挑戰(zhàn)可以通過 AI 輔助或完全自主的

原文鏈接：陶哲軒點(diǎn)評(píng)谷歌AlphaProof：AI在數(shù)學(xué)競(jìng)賽中展現(xiàn)「超凡智慧」

聯(lián)系作者

文章來(lái)源：機(jī)器之心
作者微信：
作者簡(jiǎn)介：