接近金牌水平,AI向人类奥数“下手”

2922次浏览

从下棋到解析蛋白质结构,人工智能(AI)变得越来越无所不能。美国谷歌公司的DeepMind这次将目标瞄准数学领域,开发的一款AI几何推理模型——AlphaGeometry能够以接近国际数学奥林匹克(奥数)竞赛金牌得主的水平,解决复杂的几何问题。相关研究1月17日发表于《自然》。HWa知多少教育网-记录每日最新科研教育资讯

奥数面向中学生每年7月举办,是全球最难的数学竞赛之一。解决奥数几何问题需要一定的数学创造力,而这正是AI一直在试图攻克的。即使在其他领域展现出非凡推理能力的OpenAI的GPT-4,在奥数几何问题上也只能得0分。HWa知多少教育网-记录每日最新科研教育资讯

AI之所以对奥数几何问题久攻不下,除了问题的难度外,缺乏训练数据也是一个很重要的原因。奥数自1959年以来每年举办一次,且每次比赛只有6道题。然而,AI系统解决几何问题需要数百万甚至数十亿个数据点,现有数据远不能满足训练的需要。HWa知多少教育网-记录每日最新科研教育资讯

为此,DeepMind的Thang Luong和同事创建了一种工具,可生成数以亿计的机器可读的几何证明,从而绕过了现有数据不足的难点。HWa知多少教育网-记录每日最新科研教育资讯

研究人员使用这些数据对AlphaGeometry进行训练,并用30道奥数几何题对它进行基准测试。结果,AlphaGeometry在标准时限内正确解出了25道题。相比之下,之前最先进的系统解决了其中10道题,而根据预测,人类奥数金牌得主平均解决25.9道题。HWa知多少教育网-记录每日最新科研教育资讯

Luong介绍,AlphaGeometry由两部分组成,一个是快速、直观的语言模型系统——GPT-f,另一个是较慢、更具分析性的“符号引擎”系统。HWa知多少教育网-记录每日最新科研教育资讯

面对一道奥数几何题,AlphaGeometry首先利用GPT-f提出要尝试的定理和论点,接着“符号引擎”就会通过逻辑推理,按照数学规则构建GPT-f提出的论点。两个系统协同工作、不断切换,直到问题解决。HWa知多少教育网-记录每日最新科研教育资讯

Luong表示,虽然AlphaGeometry在解决奥数几何题方面非常成功,但它的答案往往比人类的证明更长。不过,它可以发现一些人类遗漏的东西。比如,它对一道2004年奥数竞赛题的解法,比官方给出的答案更好、更通用。HWa知多少教育网-记录每日最新科研教育资讯

英国伦敦数学科学研究所的何杨辉指出,该系统在可用的数学运算方面存在固有的局限性,因为奥数问题应该用大学本科阶段以下教授的定理来解决。因此,增加AlphaGeometry可以获得的数学知识能够改善系统,甚至有助于它取得新的数学发现。HWa知多少教育网-记录每日最新科研教育资讯

目前,DeepMind拒绝透露是否计划让AlphaGeometry参加奥数现场比赛,以及是否再扩展该系统以解决其他非几何奥数问题。HWa知多少教育网-记录每日最新科研教育资讯

(徐锐)HWa知多少教育网-记录每日最新科研教育资讯

相关论文信息:HWa知多少教育网-记录每日最新科研教育资讯

https://doi.org/10.1038/s41586-023-06747-5HWa知多少教育网-记录每日最新科研教育资讯


HWa知多少教育网-记录每日最新科研教育资讯

本文链接:http://knowith.com/news-7-141.html接近金牌水平,AI向人类奥数“下手”

声明:本网页内容由互联网博主自发贡献,不代表本站观点,本站不承担任何法律责任。天上不会到馅饼,请大家谨防诈骗!若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。

热门文章

延伸阅读

相关阅读

热点精选

最新推荐

您可能感兴趣

【申报】关于组织开展可再生能源供暖(制冷)项目典型案例申报工作的通知(京发改〔2024〕105号)

【解读】本市新增8项专技人员职业资格与职称对应关系取得职业资格符合条件可聘相应职称

工业和信息化部关于健全中小企业公共服务体系的指导意见(工信部企业〔2023〕213号)

【解读】《关于加强科技型企业全生命周期金融服务的通知》

韦布发现迄今观察到的最古老黑洞

AI时代版权边界需重新厘清

科技部2024年考试录用公务员面试公告

《北京市绿色制造单位培育管理暂行办法》

北京市2024年度建设用地供应计划

科技部 财政部关于印发《国家重点研发计划管理暂行办法》的通知

大吉大利:广州荔湾区上门代还信用卡,找我就可以了,值得信任

羊小咩额度怎么套出来,教你四个操作办法

如登春台:昆明宜良县上门代还信用卡,真实商户积分,需要的请联系

如登春台:石家庄桥西区上门代还信用卡,专业公司可靠,实体店多种方式

奋发有为:羊小咩额度怎么套出来(教你6种提现流程方法)

摊上:白条靠谱商家在哪里找(2024最新秒到提现介绍)

韶华:羊小咩享花卡额度怎么提现(推荐这三个操作步骤)

霜月:分期乐有额度怎么套出来-教你额度套出操作方法

烟波:白条怎么套出来(最快的3种秒到方法及流程图介绍)

重大发现:HB去哪里可以套出来 - 试试这三个最新方法