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

谷歌人工智能测试得分达到国际数学奥赛银牌水平_数学_体系 文字写作

证明数学定理是一项具有寻衅性的事情，因此数学奥赛常日被认为是识别干系人才的方法，同时也是AI系统在数学和推理领域的试验场。
“深层思维”公司卖力科学AI的副总裁普什米特·科利说，这是该公司的AI系统首次达到奖牌级别的表现，是构建高等定理证明器进程中的一个关键里程碑。

据英国《自然》杂志宣布，研究团队演习了一个专门用于解答数学奥赛考题的AI系统，结合理解答数学推理问题的模型AlphaProof和升级版的解答几何问题的模型AlphaGeometry 2。
AlphaGeometry 2在20秒内办理了一个几何问题，而AlphaProof花了3天韶光解答了两个代数问题和一个数论问题。

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

编辑 毛天宇