在刚刚结束国际数学奥林匹克竞赛中，谷歌旗下DeepMind派出了人工智能参赛，并取得了第二名银奖。

据了解，DeepMind的AI数学模型由数学推理模型AlphaProof 和几何求解模型AlphaGeometry （阿尔法几何）组成。此次奥数比赛共有六道题，涉及代数、组合学、几何和数论，AI解答了其中的四题，取得28分的成绩，与金牌选手仅差1分。

正式比赛中，人类选手会分两次提交答案，每次限时4.5小时，经过训练的AI只需几十秒就能给出正确答案。

对于两道没取得分数的题目，DeepMind的工程师经过评估认为AI模型需要花费数天的时间来计算。 所以，AI不是不会解答，而是需要更多的计算时间。

数学是通过证明创造出来的，这与通过实验和观察来检验假设的大多数自然科学学科都不相同，因此被称为是“科学的王冠”。迄今为止，解决或协助解决高等级数学难题，仍是AI领域一项极其复杂的多维度重大挑战。

最前沿的数学往往需要极为复杂的证明，比如日本的京都大学数学家望月新一在证明“abc猜想”时，其证明过程长达500页。即便在数学家中，能仔细阅读完该证明过程的就寥寥无几，要是发现其中的逻辑错误更是难上加难。因此，数学家认为AI可以提供帮助。AI不仅能快速检查证明步骤是否正确，还能帮助数学家编写证明。

在数学领域仍有许多难题尚未被解决，比如费马猜想、四色猜想和哥德巴赫猜想等，数学家希望有朝一日AI能够解决这些数学难题。计算机科学家预计，到2026年AI能够像人类最优秀的数学家一样完成数学推理，甚至做得更好。