人工智能在国际数学奥林匹克竞赛中的突破性表现

在2025年7月举行的第66届国际数学奥林匹克竞赛（IMO）上，人工智能（AI）系统在数学领域取得了显著进展。

OpenAI的实验性推理模型在IMO竞赛中表现出色，解决了六道难题中的五道，获得了35分（满分42分），达到了金牌水平。

同样，谷歌DeepMind的AlphaProof和AlphaGeometry 2系统在IMO问题上也取得了显著成绩，解决了四道难题，达到了银牌水平。

这些成就展示了AI在数学推理和问题解决方面的能力，标志着AI在复杂数学问题求解领域的重大进步。

然而，IMO主席Gregor Dolinar指出，IMO无法验证AI模型的具体方法和计算资源的使用情况，但确认无论是由学生还是AI模型提供的正确数学证明都是有效的。

这些进展引发了关于AI在数学研究和教育中潜力的广泛讨论，预示着AI在数学领域的应用将继续推动技术创新，并为科学研究和教育带来新的机遇。