最新研发人工智能系统:能解国际数学奥林匹克竞赛级别几何题
中新网北京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万家固定污染源纳入排污许可管理
- 最近发表
-
- 随机阅读
-
- 追着花儿看新疆 | 沙漠玫瑰竞相绽放 “花海经济”带动产业发展
- 制造业外资准入限制清零,意味着什么
- 社科院调查报告:收入和就业最影响幸福感
- 中国首条直通中越边境高铁开始铺轨
- 朝鲜进行240毫米可控火箭炮弹验收试射
- 下半年首场寒潮来袭 中国中东部将现大范围降温
- 塞内加尔首都附近海域一船上发现30具遗体
- 黎巴嫩贝鲁特南郊遭以色列空袭 已致31人死亡
- 陕西洛川:早熟苹果迎丰收 果农田间采摘忙
- 伊朗最高领袖:近期对以军事行动是“最小惩罚” 如有必要将继续
- (新春见闻)南木特藏戏里的“青春面孔”
- “花好月圆”中秋晚会在缅甸仰光演出 中缅艺术家携手展两国文化续“胞波”情谊
- 100万亿元!建行英国人民币清算行累计清算量实现新突破
- 马来西亚多地遇水灾 已致4人遇难
- 北京将推动更多标志性外资项目落地 建好中德、中日产业园
- 强冷空气持续发威!中东部迎显著降温 台风影响浙闽沿海
- 影视业AI应用如何超乎想象?
- 伊拉克宣布:伊境内“伊斯兰国”头目被击毙
- 黎巴嫩总理称将派军增援黎南部 呼吁以方遵守停火协议
- 皓月千里随人归——侧记平山郁夫与范曾的世纪友谊
- 热门推荐
-
- 西安市教育局回应中考有关情况:网传“回流生4万人”信息不实
- 美国2023年1月CPI同比上涨6.4%
- 犯拐卖儿童罪等 余华英丈夫王加文一审被判十六年半
- 财政部:1-2月全国共销售彩票938.65亿元 同比增长25.1%
- 山西洪洞西冯堡清代墓地女性伤病研究揭示缠足影响
- 阿曼驻华大使:愿与中国共谋合作共赢新机遇
- “银发经济”的风吹来,商业综合体如何应对
- 决胜地道战:俄乌斗法再升级
- 话剧《氢弹之父——于敏》在天津首演
- 黄埔五期程子华之女:父亲心目中的英雄是戚继光
- 今年能否强劲反弹?夏季达沃斯展望中国经济
- Y12F飞机获颁欧盟航空安全局型号合格证
- 珠海优化税费服务举措助力“蓝天盛会”
- 事关快递员、网约配送员,八部门最新部署!
- 江西永丰举行2024年首届油茶产业创新发展大会
- 公益活动为中国特定地区孕妇捐赠营养补充剂 关爱“生命早期1000天”
- 台风“摩羯”后,邮储银行金融服务暖人心
- 不可忽视的沙门氏菌:夏秋季为感染高峰期,儿童感染占比较高
- 一问医答|“狂飙”的陈皮
- 京蔚高速北京段正式通车