谷歌人工智能测试得分达到国际数学奥赛银牌水平
创始人
2024-07-28 17:02:00
0

新华社北京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合作,验证假说,尝试大胆的新方法来解决长期未解决的数学难题,并迅速解决耗时的证明问题。(完)

相关内容

热门资讯

世界超级摩托车锦标赛捷克站第一... 5月16日消息,在刚刚结束的2026世界超级摩托车锦标赛(WSBK)捷克站WorldSSP组别第一回...
中国首批103号高标号赛级汽油... 5月16日消息,今天(5月16日),中国自主研发生产的103号赛级汽油在新疆正式投入使用,这是国内首...
北京市发布暴雨蓝色预警 5月16日消息,北京市发布暴雨蓝色预警:预计,5月17日白天至夜间,大兴、通州、朝阳、海淀、丰台、石...
消息人士:美以或最早下周恢复对... 5月16日消息,美国消息人士称,五角大楼正在为恢复对伊朗的军事行动做准备,美国和以色列最早可能在下周...
中国将开展多个专项行动强化知识... 5月16日消息,国家知识产权强国建设工作部际联席会议办公室16日公开发布《2026年知识产权强国建设...
探访达沃斯AI热潮 中国方案成... 探访达沃斯AI热潮 中国方案成全场关键词 世界经济论坛第十七届新领军者年会(夏季达沃斯论坛)昨天起在...
北京出台管理办法全链条规范帐篷... 5月16日消息,北京市文化和旅游局等15个部门联合制定的《北京市帐篷露营地管理办法》15日发布,进一...
上海电信上线智云上海AI ST... 5月16日消息,上海电信发布智云上海AI STORE一站式AI服务门户。预计到今年年底,智云上海AI...
法国“戴高乐”号航母抵达阿拉伯... 5月16日消息,法国国防部部长级代表爱丽丝·吕福15日接受法国商业调频电视台采访时说,法国海军“戴高...
古特雷斯任命联合国负责安全和安... 5月16日消息,联合国秘书长古特雷斯15日宣布,任命来自荷兰的雅尼娜·亨尼斯-普拉斯哈特为联合国负责...