据报道，“深层思维”的AI系统解答了本月在英国举行的这一数学奥赛给出的6个数学难题中的4个。该AI系统生成了严谨的、逐步的答题证明。两位顶尖数学家为其答题评分。最终，这一AI系统获得28分（满分42分）——仅差一分就达到本次比赛的金牌水平。
证明数学定理是一项具有挑战性的工作，因此数学奥赛通常被认为是识别相关人才的方法，同时也是AI系统在数学和推理领域的试验场。“深层思维”公司负责科学AI的副总裁普什米特·科利说，这是该公司的AI系统首次达到奖牌级别的表现，是构建高级定理证明器历程中的一个关键里程碑。
据英国《自然》杂志报道，研究团队训练了一个专门用于解答数学奥赛考题的AI系统，结合了解答数学推理问题的模型AlphaProof和升级版的解答几何问题的模型AlphaGeometry 2。AlphaGeometry 2在20秒内解决了一个几何问题，而AlphaProof花了3天时间解答了两个代数问题和一个数论问题。
“深层思维”公司称，研究团队正继续探索多种用于推进数学推理的AI方法。未来，数学研究者将与AI合作，验证假说，尝试大胆的新方法来解决长期未解决的数学难题，并迅速解决耗时的证明问题。
