谷歌“深层思维”AI在国际数学奥赛中获银牌

数智朋克讯，谷歌旗下的“深层思维”公司近日宣布，其人工智能（AI）系统在2024年国际数学奥林匹克竞赛中表现出色，获得银牌。此次数学奥赛在英国举行，AI系统成功解答了6个难题中的4个，最终得分28分（满分42分），仅差一分即达金牌水平。

尽管AI系统解答多数考题耗时较长，但其生成的答题证明严谨且逐步。两位顶尖数学家为其评分，认可其高质量的答案。这一成就显示了AI在复杂数学推理和定理证明中的巨大潜力，证明数学定理通常被认为是发现顶尖数学人才的重要方法，同时也是AI系统的重要试验场。

“深层思维”公司负责科学AI的副总裁普什米特·科利表示，这是该AI系统首次在数学竞赛中达到奖牌水平，标志着构建高级定理证明器的重要里程碑。据《自然》杂志报道，研究团队训练了专门用于解答数学奥赛考题的AI系统，结合了解答数学推理问题的模型AlphaProof和升级版几何问题模型AlphaGeometry 2。AlphaGeometry 2在20秒内解决了一个几何问题，而AlphaProof花了3天时间解答了两个代数问题和一个数论问题。

“深层思维”公司表示，研究团队将继续探索多种推进数学推理的AI方法。未来，数学研究者将与AI合作，验证假说，尝试新的解决方案，快速解决复杂的数学难题，推动数学研究的进展。