芒果文学免费提供海量的短文学、文学名著、散文、诗歌、句子等文学作品及唯美图片！
《自然》17日发表的一项计算科学研究，描述了一个能解国际数学奥林匹克竞赛级别几何题的人工智能系统。其表现超过了之前最好的自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的最高水平。
奥林匹克竞赛中的数学定理证明需要高水平的逻辑推理和解题能力。然而，当前基于机器学习的AI系统在证明数学定理方面还有困难。机器学习通过向计算机提供参考数据，让计算机学习如何执行特定任务。但由于作为训练数据的人类示范很少，所以定理证明，尤其是几何学定理很难被证明。
谷歌“深度思维”团队此次描述了一种不需要人类示范的定理证明方法。基于这一方法的AI系统名为“阿尔法几何”。它综合了复杂程度各异的数百万条定理和证明，并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎，能让G0在无需人类直接输入的情况下学习并解开复杂问题。
团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题测试了该系统。G0解出了其中25题，接近国际数学奥林匹克竞赛金牌选手的平均表现。而之前最优秀的方法只解出了10题。值得一提的是，G0能生成人类可阅读的证明，甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。
研究人员指出，G0目前仅限于证明几何学定理，但这种方法或许能应用于其他数学领域。
总编辑圈点
让AI做一个定理证明，其实比让AI来玩围棋、国际象棋等更具挑战性。想要证明一个特定猜想的真假，需要使用高级别的逻辑推理能力。这比其他识别、分类任务要难得多。棋类的走法总会被预测出来，即使算法没有给出最佳方案，结果也能“殊途同归”。但在定理证明中，只要算法有一次走入死胡同，那就宣告本次解答失败。性能再好的系统也没办法。这就是为什么人们一直把数学定理证明视为构建智能机器的关键能力，也是为什么这项成果意义重大的原因。
发布时间：2024-01-19 09:23
上述文字是💠《能解国际奥数竞赛题的AI系统问世，接近人类破解复杂逻辑问题的最高水平|总编辑圈点》✨的美文内容，大家如想要阅读更多的短文学、文学名著、精品散文、诗歌等作品，请点击本站其他文章进行赏析。
版权声明：本文由互联网用户自发贡献，该文仅代表作者观点。芒果文学仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，请发送邮件进行举报，一经核实本站将立刻删除。
导读：黄瓜可以切了直接来晒吗？下文是小编给大家带来的介绍。1、黄瓜不可以切片晒干的。2、首先将黄瓜洗净沥水对半切开，接着把黄瓜籽挖出来肉厚最好不好超过0.5厘米，有些黄...
本文目录一览： 1、18岁以上的身份证号码 2、成年身份证号码和真实姓名 3、已满18岁真实姓名身份证2022 4、18岁成人身份证及姓名 18岁以上的身份证号码 18岁以上的身份证号码 有很多，...
中国物流与采购联合会与中储发展股份有限公司10月8日发布数据显示，9月份中国仓储指数为53.5%，较上月上升1.5个百分点。从分项指数来看，同上月相比，新订单指数、业务量指数、设...
我们在生活中经常会用到QQ来传输和下载一些文件，那么大家知道QQ保存的文件在什么位置吗?下面就让小编为大家详细的介绍下具体操作步骤吧。 QQ保存的文件位置详解 1、打开手机QQ，...
前言 淘宝旺旺id就是淘宝账号，在淘宝我的淘宝界面，点击设置然后点击头像，即可查看淘宝账号。查看淘宝旺旺id共有5步，具体操作如下： 工具/版本 演示机型：华为 nova 6 SE 系统版...
微信读书的替身书架功能是什么？它可以代替真实书架显示在个人资料中，别人只能仅能查看到你的替身书架。那么微信读书如何关闭替身书架呢？一起来看看吧~ 微信读书如何关闭替...
导读：孩子今年9岁，上三年级，男孩。孩子在家学习的时候不认真，在学校更是如此，上课的时候不听课，在下面画画，一节课过去了什么也没有学会，但是孩子根本不在意，导致考试...
海姆立克急救法原理是主要是冲击患者的上腹部，令腹部的膈肌迅速上抬，胸腔的压力突然增加，从而给气道一股向外的冲击力，可以促使梗塞到气道的异物排出。如果患者是清醒的，...
去外地不带手机卡行程码不会变。因为大数据也是需要根据手机的运行才能够测到用户的出行轨迹，所以如果手机没有动，就会显示没有运行轨迹。因此只是乘客去了外地，而手机还是...
都知道在娱乐圈中，身高是一件非常“秘密”的事情，许多明星会存在虚报，所以一些明星的真实身高就不得而知了。那么鹿晗身高多高呢？ 鹿晗身高多高 1、鹿晗身高是178cm。 2、鹿晗...
小伙伴们知道快影如何剪辑视频吗?今天小编就来讲解快影剪辑视频的教程攻略，感兴趣的快跟小编一起来看看吧，希望能够帮助到大家呢。 1、现在使用快影编辑视频的话，如果要对素...
本文目录一览： 1、我家东面邻居的房子比我家低但是场地比我家高出20公分，这样的话风水来讲对我家有什么影响？ 2、东边的房屋比西边的房屋低风水不好吗? 3、我家的房子比东户的...
这2021年牛年里，因为六合的缘故，因此属鼠人在这一年的事业可以说是很好的，不管是求职者还是普通员工，都能够有个很好的结果，因此你们的正财也是不错的，说不定还会增加，只...
6月8日，比亚迪召开2022年年度股东大会。比亚迪董事长王传福在会上表示，汽车行业已进入淘汰赛阶段，不竞争不会有繁荣，竞争才有优胜劣汰。 企业制胜首先要有核心科技，新能源汽...
导读：我走在街上碰到了邻居家的孩子，他跟我说，我家儿子向他借了20块钱，一直没有还，我一听心里特别震惊。在我印象中孩子也不缺钱花，怎么在外面还借钱了？回到家我就把儿...
1000毫秒等于（1）秒； 1000/1000 =1（秒） 时间在秒以下单位不用60进制。 1000毫秒=（1）秒 1000毫秒=1秒毫秒下还有微秒，纳秒1000微秒=1毫秒1000纳秒=1微秒 知道1000mm=?m吗 ms前边的m即指千分之...