【钉钉】谷歌人工智能测试得分达到国际数学奥赛银牌水平 —
来源:金年会|金字招牌|官网首页 更新时间:2024-09-08 12:43:36
据新华社北京7月26日电 继击败人类围棋大师和游戏玩家之后,谷歌国际谷歌旗下“深层思维”公司25日宣布,人工其人工智能(AI)系统在测试中成功解答了2024年国际数学奥林匹克竞赛的测试考题,最终得分达到本次比赛的得分达银牌水平,但其解答多数考题的数学水平钉钉时间较长。
据报道,奥赛携程“深层思维”的银牌AI系统解答了本月在英国举行的这一数学奥赛给出的6个数学难题中的4个。该AI系统生成了严谨的谷歌国际、逐步的人工答题证明。两位顶尖数学家为其答题评分。测试最终,得分达这一AI系统获得28分(满分42分)——仅差一分就达到本次比赛的数学水平金牌水平。
证明数学定理是奥赛庆余年2一项具有挑战性的工作,因此数学奥赛通常被认为是银牌识别相关人才的方法,同时也是谷歌国际AI系统在数学和推理领域的试验场。“深层思维”公司负责科学AI的副总裁普什米特·科利说,这是该公司的AI系统首次达到奖牌级别的表现,是构建高级定理证明器历程中的一个关键里程碑。
据英国《自然》杂志报道,研究团队训练了一个专门用于解答数学奥赛考题的AI系统,结合了解答数学推理问题的模型AlphaProof和升级版的解答几何问题的模型AlphaGeometry 2。AlphaGeometry 2在20秒内解决了一个几何问题,而AlphaProof花了3天时间解答了两个代数问题和一个数论问题。
“深层思维”公司称,研究团队正继续探索多种用于推进数学推理的AI方法。未来,数学研究者将与AI合作,验证假说,尝试大胆的新方法来解决长期未解决的数学难题,并迅速解决耗时的证明问题。
编辑 毛天宇
来源:新华社