能解国际奥数竞赛题的AI系统问世,接近人类破解复杂逻辑问题的最高水平
研究示意图。国际高水 图片来源:《自然》 科技日报记者 张梦然 《自然》17日发表的奥数一项计算科学研究,描述了一个能解国际数学奥林匹克竞赛级别几何题的竞赛接近人工智能(AI)系统。其表现超过了之前最好的系统自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的问世问题最高水平。 奥林匹克竞赛中的人类数学定理证明需要高水平的逻辑推理和解题能力。然而,破解平当前基于机器学习的复杂AI系统在证明数学定理方面还有困难。机器学习通过向计算机提供参考数据,逻辑让计算机学习如何执行特定任务。国际高水但由于作为训练数据的奥数人类示范很少,所以定理证明,竞赛接近尤其是系统几何学定理很难被证明。 谷歌“深度思维”团队此次描述了一种不需要人类示范的问世问题定理证明方法。基于这一方法的人类AI系统名为“阿尔法几何”(G0)。它综合了复杂程度各异的数百万条定理和证明,并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎(能搜索难题中的大量分支点),能让G0在无需人类直接输入的情况下学习并解开复杂问题。 团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题测试了该系统。G0解出了其中25题,接近国际数学奥林匹克竞赛金牌选手的平均表现。而之前最优秀的方法只解出了10题。值得一提的是,G0能生成人类可阅读的证明,甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。 研究人员指出,G0目前仅限于证明几何学定理,但这种方法或许能应用于其他数学领域。 总编辑圈点 让AI做一个定理证明,其实比让AI来玩围棋、国际象棋等更具挑战性。想要证明一个特定猜想的真假,需要使用高级别的逻辑推理能力。这比其他识别、分类任务要难得多。棋类的走法总会被预测出来,即使算法没有给出最佳方案,结果也能“殊途同归”。但在定理证明中,只要算法有一次走入死胡同,那就宣告本次解答失败。性能再好的系统也没办法。这就是为什么人们一直把数学定理证明视为构建智能机器的关键能力,也是为什么这项成果意义重大的原因。
- 最近发表
- 随机阅读
-
- 正月初二全社会跨区域人员流动量超2亿人次
- 胶质母细胞瘤侵袭的关键作用揭示,有助研发下一代脑癌疗法
- 历时20余年!杂交鲟“京龙1号”“游”入寻常百姓家
- 高质量发展调研行丨风雨之后见“彩虹”
- 锦绣中国年丨民俗非遗之西安鼓乐
- 微型机器人能自我变形挤进狭窄空间
- 厦门首届“苏颂杯”未来产业技术创新赛全国5大赛区开赛
- 国内首个无人系统产业生态联盟在北京延庆成立
- 研究显示:高血压和糖尿病综合管理尚有改进空间
- 深度学习更准确预警余震
- 首届中国纪录片大会在北京启动
- 5G+井下单体设备集中操控技术在冶金矿山首次规模化应用
- 山东科技人才评价改革“剑”指何方
- 基因编辑技术将癌细胞变为健康细胞
- 可扩展 成本低 用途广柔软机械手几乎“复制”人手
- 具有混合性质的神秘脑细胞发现
- 化草为龙,舞起!
- 收藏!中秋国庆买票提示 记得提前规划假期行程
- 广西玉林发生多起山体滑坡事件 已致7人遇难
- 沿着河湖看新疆|一滴水都不浪费,“沙包包”里长出了“香菇菇”
- 搜索
-