《自然》17日发表的一项计算科学研究，描述了一个能解国际数学奥林匹克竞赛级别几何题的人工智能（AI）系统。其表现超过了之前最好的自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的最高水平。
奥林匹克竞赛中的数学定理证明需要高水平的逻辑推理和解题能力。然而，当前基于机器学习的AI系统在证明数学定理方面还有困难。机器学习通过向计算机提供参考数据，让计算机学习如何执行特定任务。但由于作为训练数据的人类示范很少，所以定理证明，尤其是几何学定理很难被证明。
谷歌“深度思维”团队此次描述了一种不需要人类示范的定理证明方法。基于这一方法的AI系统名为“阿尔法几何”（G0）。它综合了复杂程度各异的数百万条定理和证明，并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎（能搜索难题中的大量分支点），能让G0在无需人类直接输入的情况下学习并解开复杂问题。
团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题测试了该系统。G0解出了其中25题，接近国际数学奥林匹克竞赛金牌选手的平均表现。而之前最优秀的方法只解出了10题。值得一提的是，G0能生成人类可阅读的证明，甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。
研究人员指出，G0目前仅限于证明几何学定理，但这种方法或许能应用于其他数学领域。
《自然》17日发表的一项计算科学研究，描述了一个能解国际数学奥林匹克竞赛级别几何题的人工智能（AI）系统。其表现超过了之前最好的自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的最高水平。
奥林匹克竞赛中的数学定理证明需要高水平的逻辑推理和解题能力。然而，当前基于机器学习的AI系统在证明数学定理方面还有困难。机器学习通过向计算机提供参考数据，让计算机学习如何执行特定任务。但由于作为训练数据的人类示范很少，所以定理证明，尤其是几何学定理很难被证明。
谷歌“深度思维”团队此次描述了一种不需要人类示范的定理证明方法。基于这一方法的AI系统名为“阿尔法几何”（G0）。它综合了复杂程度各异的数百万条定理和证明，并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎（能搜索难题中的大量分支点），能让G0在无需人类直接输入的情况下学习并解开复杂问题。
团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题测试了该系统。G0解出了其中25题，接近国际数学奥林匹克竞赛金牌选手的平均表现。而之前最优秀的方法只解出了10题。值得一提的是，G0能生成人类可阅读的证明，甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。
研究人员指出，G0目前仅限于证明几何学定理，但这种方法或许能应用于其他数学领域。
近日，国家知识产权局等五部门联合印发了《专利产业化促进中小企业成长计划实施方案》（以下简称《实施方案》）。《实施方案》提出，到2025年底，中小企业知识产权意识和专利转化运用能力得到普遍提升 “截至2023年底，与2018年同期相比，京津冀治理区浅层地下水位平均回升2.59米，深层承压水水位平均回升7.06米。”3月22日世界水日到来之际，水利部水资源管理司副司长张鸿星21日接受科技日报记者采 3月22日消息，美国司法部对iPhone提起诉讼，声称其苹果生态系统构成垄断。司法部表示，iPhone将苹果生态系统视为一种垄断，以牺牲消费者、开发者和竞争对手的利益为代价，推动公司估值的飙升。司法部还指 3月22日消息，中国互联网络信息中心（CNNIC）今天发布了《中国互联网络变化状况计算报告》。《报告》显示，截至2023年12月，我国网民规模达10.92亿人，较2022年12月新增网民2480万人，互联网普及率达77.5%。截 3月23日消息，vivo即将于3月26日发布vivo X Fold3系列折叠屏电话，其中包含vivo X Fold3和vivo X Fold3 Pro两款新品。据悉，vivo X Fold3采用了首发的碳纤维龙骨铰链，重量仅为219克，厚度为4.65毫米。相 记者从中国气象局了解到，3月24日、25日和26日三天，将可能出现地磁活动，其中3月25日可能发生中等以上地磁暴甚至大地磁暴，预计地磁活动将持续到26日。在此影响之下，空间站可能因大气拖拽造成轨道高 。
本文链接：能解国际奥数竞赛题的AI系统问世http://www.sushuapos.com/show-2-2309-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。
上一篇： 纳米机器人将膀胱肿瘤缩小90%
下一篇： 二维重费米子材料首次创建