据《自然》2025年2月7日消息，DeepMind最新推出的数学模型AlphaGeometry2在国际数学奥林匹克竞赛（IMO）中达到真人金牌得主的水平，并能解决21世纪以来25届IMO全部几何问题的84%，而第一代AlphaGeometry只能解决其中的54%。

AlphaGeometry2在AlphaGeometry的基础上进行了改进，集成了谷歌大语言模型Gemini，引入了在平面上移动几何图像进行推理的功能，将基于神经网络的语言模型与符号推理引擎相结合，从而能同时探索多种解决方案路径，以增加得出有效证明的可能性。

为了弥补结构化几何训练数据的稀缺性，DeepMind生成了一个庞大的合成数据集，其中包含超过3亿条复杂程度各异的定理和证明。该数据集为训练模型识别模式、推断关系和准确地解决复杂问题奠定了基础。

然而，AlphaGeometry2在解决涉及可变点数、非线性方程和不等式的问题时表现不佳。虽然AlphaGeometry2在解决过去的IMO问题方面表现出色，但在面对29个未发表的问题时，只解决了其中的20个问题。这29个问题曾被数学家提名，但从未在实际比赛中使用过。

信息来源：

https://www.nature.com/articles/d41586-025-00406-7

https://mp.weixin.qq.com/s/o6jR0lzW7I_otwuORYKQtA

https://mp.weixin.qq.com/s/609qCnHxKCoTdc0qZfpMHQ