Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人，一年给AI编出8000万道数学题训练
Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人，一年给AI编出8000万道数学题训练谷歌DeepMind的IMO金牌模型，完整技术全公开了！
来自主题: AI技术研报
7762 点击 2025-11-13 16:46
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
谷歌DeepMind的IMO金牌模型，完整技术全公开了！
今天，谷歌DeepMind重磅发起「AI赋能数学计划」，集结了全球五大顶尖机构。他们将用上谷歌最强数学AI，去探索发现新的疆域。这其中，有夺下IMO金牌的Gemini Deep Think，有算法发现AI智能体AlphaEvolve，还有形式化证明自动补全AlphaProof。
从 AlphaGo、AlphaZero 、MuZero 到 AlphaCode、AlphaTensor，再到最近的 Gemini 和 AlphaProof，Julian Schrittwieser 的工作成果似乎比他的名字更广为人知。