当前位置:首页 > 智能 > 人工智能

谷歌人工智能测试得分达到国际数学奥赛银牌水平

人工智能 2024-07-26 16:30:39

来源:新京报   责任编辑:李琦

导语

“深层思维”的AI系统解答了本月在英国举行的这一数学奥赛给出的6个数学难题中的4个。

  据新华社北京7月26日电 继击败人类围棋大师和游戏玩家之后,谷歌旗下“深层思维”公司25日宣布,其人工智能(AI)系统在测试中成功解答了2024年国际数学奥林匹克竞赛的考题,最终得分达到本次比赛的银牌水平,但其解答多数考题的时间较长。

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

  证明数学定理是一项具有挑战性的工作,因此数学奥赛通常被认为是识别相关人才的方法,同时也是AI系统在数学和推理领域的试验场。“深层思维”公司负责科学AI的副总裁普什米特·科利说,这是该公司的AI系统首次达到奖牌级别的表现,是构建高级定理证明器历程中的一个关键里程碑。

  据英国《自然》杂志报道,研究团队训练了一个专门用于解答数学奥赛考题的AI系统,结合了解答数学推理问题的模型AlphaProof和升级版的解答几何问题的模型AlphaGeometry 2。AlphaGeometry 2在20秒内解决了一个几何问题,而AlphaProof花了3天时间解答了两个代数问题和一个数论问题。

  “深层思维”公司称,研究团队正继续探索多种用于推进数学推理的AI方法。未来,数学研究者将与AI合作,验证假说,尝试大胆的新方法来解决长期未解决的数学难题,并迅速解决耗时的证明问题。

免责声明:以上内容为本网转自其它媒体,相关信息仅为传递更多信息之目的,不代表本网观点、亦不代表本网站赞同其观点或证实其内容的真实性。如有侵权请联系本网删除。
Top