陶哲軒點評谷歌AlphaProof：AI在數學競賽中展現「超凡智慧」

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

原標題：陶哲軒點評谷歌AlphaProof：AI在數學競賽中展現「超凡智慧」
關鍵字：奧林匹克,數學,問題,人工智能,模型
文章來源：機器之心
內容字數：0字

內容摘要：

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

原文鏈接：陶哲軒點評谷歌AlphaProof：AI在數學競賽中展現「超凡智慧」

聯系作者

文章來源：機器之心
作者微信：
作者簡介：