![](https://fsnews.hangzhou.com.cn/group1/M00/6B/60/rB4AiWakDoSAfiwrAAD1RvoMAss446.jpg)
继击败人类围棋大师和游戏玩家之后,谷歌旗下“深层思维”公司7月25日宣布,其人工智能(AI)系统在测试中成功解答了2024年国际数学奥林匹克竞赛的考题,最终得分达到本次比赛的银牌水平,但其解答多数考题的时间较长。
“深层思维”的AI系统解答了本月在英国举行的这一数学奥赛给出的6个数学难题中的4个。该AI系统生成了严谨的、逐步的答题证明。两位顶尖数学家为其答题评分。最终,这一AI系统获得28分(满分42分)——仅差一分就达到本次比赛的金牌水平。
证明数学定理是一项具有挑战性的工作,因此数学奥赛通常被认为是识别相关人才的方法,同时也是AI系统在数学和推理领域的试验场。“深层思维”公司负责科学AI的副总裁普什米特·科利说,这是该公司的AI系统首次达到奖牌级别的表现,是构建高级定理证明器历程中的一个关键里程碑。
据英国《自然》杂志报道,研究团队训练了一个专门用于解答数学奥赛考题的AI系统,结合了解答数学推理问题的模型AlphaProof和升级版的解答几何问题的模型AlphaGeometry 2。AlphaGeometry 2在20秒内解决了一个几何问题,而AlphaProof花了3天时间解答了两个代数问题和一个数论问题。
综合新华社等报道