继击败人类围棋大师和游戏玩家之后，谷歌旗下“深层思维”公司宣布，其人工智能（AI）系统在测试中成功解答了2024年国际数学奥林匹克竞赛的考题，最终得分达到本次比赛的银牌水平，但其解答多数考题的时间较长。

“深层思维”的AI系统解答了本月在英国举行的这一数学奥赛给出的6个数学难题中的4个。该AI系统生成了严谨的、逐步的答题证明。2位顶尖数学家为其答题评分。最终，这一AI系统获得28分（满分42分）—仅差一分就达到本次比赛的金牌水平。

证明数学定理是一项具有挑战性的工作，因此数学奥赛通常被认为是识别相关人才的方法，同时也是AI系统在数学和推理领域的试验场。

“深层思维”公司负责科学AI的副总裁科利说，这是该公司的AI系统首次达到奖牌级别的表现，是构建高级定理证明器历程中的一个关键里程碑。

根据英国《自然》杂志报道，研究团队训练了一个专门用于解答数学奥赛考题的AI系统，结合了解答数学推理问题的模型AlphaProof和升级版的解答几何问题的模型AlphaGeometry 2。AlphaGeometry 2在20秒内解决了一个几何问题，而AlphaProof花了3天时间解答了2个代数问题和一个数论问题。

“深层思维”公司说，研究团队正继续探索多种用于推进数学推理的AI方法。未来，数学研究者将与AI合作，验证假说，尝试大胆的新方法来解决长期未解决的数学难题，并迅速解决耗时的证明问题。

---