继击败人类围棋大师和游戏玩家之后,谷歌旗下“深层思维”公司7月25日宣布,其人工智能(AI)系统在测试中成功解答了2024年国际数学奥林匹克竞赛的考题,最终得分达到本次比赛的银牌水平,但其解答多数考题的时间较长。
“深层思维”的AI系统解答了本月在英国举行的这一数学奥赛给出的6个数学难题中的4个。该AI系统生成了严谨的、逐步的答题证明。两位顶尖数学家为其答题评分。最终,这一 A I系统获得2 8分(满分4 2分)——仅差一分就达到本次比赛的金牌水平。
证明数学定理是一项具有挑战性的工作,因此数学奥赛通常被认为是识别相关人才的方法,同时也是AI系统在数学和推理领域的试验场。“深层思维”公司负责科学AI的副总裁普什米特·科利说,这是该公司的AI系统首次达到奖牌级别的表现,是构建高级定理证明器历程中的一个关键里程碑。