最新研发人工智能系统:能解国际数学奥林匹克竞赛级别几何题
中新网北京1月18日电 (记者 孙自法)国际著名学术期刊《自然》最新发表一篇计算机科学论文称,研究人员开发出一个能解国际数学奥林匹克竞赛级别几何题的人工智能(AI)系统,表现超过了之前最好的自动化定理证明系统。该研究证明了AI能以接近人类最高水平破解复杂逻辑挑战的潜力,而这正是AI研究的一个主要目标。
该论文介绍,奥林匹克水平的数学定理证明需要高水平的逻辑推理和解题能力。然而,当前基于机器学习的AI系统在证明数学定理方面还有困难。机器学习这种AI形式通过向计算机提供参考数据,让计算机学习如何执行特定任务,但由于作为训练数据的人类示范很少,所以定理证明(尤其是几何学定理)很难被掌握。
在本项研究中,论文第一作者兼共同通讯作者、美国谷歌Deepmind和纽约大学的Trieu H. Trinh与同事合作,开发出一种不需要人类示范的定理证明方法的系统并命名为AlphaGeometry,其通过综合复杂程度各异的数百万条定理和证明,利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎(能搜索难题中的大量分支点),能让AlphaGeometry在无需人类直接输入的情况下学习并解开复杂问题。
他们用国际数学奥林匹克竞赛(优秀高中生参加的数学定理证明大赛)2000-2020年的30个问题对G0进行测试,结果AlphaGeometry解出了其中25题,接近国际数学奥林匹克竞赛金牌选手的平均表现,而之前最优秀的方法只解出了10题。值得一提的是,AlphaGeometry能生成人类可阅读的证明,甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。
论文作者指出,应用AI技术的AlphaGeometry系统目前虽然仅限于几何学,但这种方法或许也能应用于其他数学领域。(完)
相关推荐
黑龙江饶河再现野生东北虎足迹
四川内江市市中区发生3.2级地震 震源深度10千米
海南将迎来春节前出岛车客高峰 各港口出岛秩序总体平稳
(新春走基层)“喜迎全运会 瑞蛇贺新春”新春庙会在广州举行
羊角把、牛角、十字扣,春运涨知识→小设计大用途
岁暮冰嬉 寒尽春生 这些“速度与激情”谁看了不想玩一把?
“家门口能挣钱,好日子有盼头”(新春走基层)
国家中医药局:九成以上三级妇幼保健院设置中医类临床科室
湖南零陵腊肉飘香年味浓 供销两旺助增收
春节临近 你的家乡举办哪些活动?一起来寻找年味儿→
新春走基层丨让每一盏车灯都安然明亮 他们是“魔鬼风口”的风雪护路人
中国将386.7万家固定污染源纳入排污许可管理
- 最近发表
-
- 随机阅读
-
- “镇改市”五年 浙江龙港平均4人就有1个是老板
- 美国总统拜登与当选总统特朗普在白宫举行交接会晤
- 用新方式唱老民歌 《跟着民歌去旅行》音乐会将登北展剧场
- 福建船政旧址化身“大博物馆” 百年印记“活起来”
- 广西“95后”老师首次送考 感叹“送君千里 终须一别”
- 美媒:以总理已批准对伊朗进行报复性打击的目标
- 印尼西苏门答腊强降雨已致32人死亡
- 俄国防部:俄军摧毁基辅市一套“爱国者”防空系统
- 北京连续三天最高温超40℃,6月“炎值”因何爆表?
- 百名选手合肥比“武” 助力外加剂产业发展
- 国际中文分级阅读平台“熊猫阅读”在尼泊尔首发上线
- 全国文物行业职业技能大赛举办 10名选手获一等奖
- 95后带火甲骨文,就需要这样的专业科普
- 中国工信部:大力发展无人化、电动化、智能化低空装备
- 中国在线旅游平台:马尔代夫旅游搜索量骤增
- 四川犍为:男子超车操作不当冲入江中 被合力营救
- 上海发布人力资源服务业创新发展三年行动方案
- 直击生育养育痛点 为年轻父母“减压”
- 又一名哈马斯高官身亡!以军结束加沙北部拜特哈农袭击
- 西智利海岭发生6.1级地震 震源深度10千米
- 热门推荐
-
- 江西打造“慧赣家”巾帼家政服务品牌 促进妇女就业创业
- 浙江海岛观察:“老龄”如何变“乐龄”?
- 山西繁峙:特色产业话振兴 乡村焕发新气象
- “电商经济”赋能湖南东安县域经济高质量发展
- 2024海丝泉州数字文创周将于11月底开幕
- 第二届西藏文化艺术节圆满落幕
- 江西省新余市渝水区1·24火灾事故举行新闻发布会 现场为遇难人员默哀
- 浙江今年产生25项“农业之最”纪录
- 爱尔兰外长:若以色列不遵守国际法 欧盟将考虑实施制裁
- 258.9万台“清凉电器”走俏海外市场
- “国潮”如何奋楫“出海”向未来?
- 加码Vtrip旅游大模型研发,视旅科技获亿元A轮融资
- 商务部:将推动汽车后市场高质量发展
- 浙江警方破获首例团伙制作虚假视频案
- 马来西亚2月社会零售总额录得两位数增长
- 中新健康丨“有药可依”:医药共管解决用药疑惑 助力呼吸慢病管理
- 北京银行连续六年支持中关村国际前沿科技创新大赛成功举办
- 5月10日央行开展20亿元7天期逆回购操作
- 长洲枢纽船闸待闸船舶数量实现基本“清零”
- 中国地震局:现场科考队发现新疆乌什7.1级地震地表破裂带