最新研发人工智能系统:能解国际数学奥林匹克竞赛级别几何题
中新网北京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万家固定污染源纳入排污许可管理
- 最近发表
-
- 随机阅读
-
- 青海增添稀有鸟类新记录
- 倒手6次的电动自行车爆炸致车主死亡 谁来担责?
- 男子无证驾驶被抓现 同车的妻子为何也被罚?
- 安徽启动重大气象灾害(干旱)Ⅳ级应急响应
- 红十字国际委员会:洪水席卷西非多国 正增加当地人道援助
- 故宫博物院举办“埃尔奥拉:阿拉伯半岛的奇迹绿洲”展
- 我国家电行业转型升级趋势明显 消费潜力稳步释放
- 四川成都加强文化遗产保护利用:遗址增活力 城市添魅力
- 今年春运铁路杭州站预计发送旅客1011万人次
- 西渝高铁康渝段陕西境内安康汉江大桥首节拱肋完成吊装
- 我国中东部大部地区气温将持续偏低 山东半岛有降雪
- 纽约帝国大厦点亮“中国红”庆祝中国龙年春节
- 安徽省气象台发布暴雨蓝色预警
- 冰雪春天|热雪沸腾 渔猎冰湖
- 湖南娄底“90后”海归回乡当“新农人” 探索现代农业新模式
- 广东茂名游子归故里 “籺”是最难忘
- 前九月黄山市接待入境游客14.69万人次 同比增逾181%
- 湖北襄阳强化河湖长制 构建绿色生态廊道
- 美国一男子因参与“国会山骚乱”事件被判14年监禁
- 重庆石柱发展壮大“三色”产业 绘就乡村振兴新画卷
- 热门推荐
-
- 北京迎来雷雨大风天气
- 国际络病学大会海外论坛泰国举行,为中医药“走出去”搭建新平台
- 重庆中心城区公共交通、轨道交通单日客流量创2024年新高
- 收购推特满一年,马斯克的“超级应用”愿景实现了吗?
- 日本深夜至清晨连发3起地震 多地有震感
- 上海至南京至合肥高速铁路首座转体连续梁转体
- 美国2023年12月失业率环比持平为3.7%
- 以色列国防军称几乎完全控制加沙地带北部
- 由明星病历泄露看患者隐私保护
- 直击“秋晚”台前幕后 央视频启动中秋节全天候互动陪伴
- 安倍派办公场所被强制搜查 岸田:将根据调查结果应对
- 俄罗斯别尔哥罗德州防空系统启动 击落3枚导弹
- 中央气象台发布大雾黄色预警
- (乡村行·看振兴)为侗寨塑形铸魂 湖南新晃走出和美乡村建设新路径
- 湖南开展地质灾害防治宣传红背包公益行动
- (新春走基层)“山棚彩楼”亮相杭州德寿宫 再现宋代皇家节庆习俗
- “碳”路先行|山西乡宁借势中国陶都宜兴 扩大紫砂“朋友圈”
- (新春走基层)高速路上的“浙”里守护:“暖流”涌动护航平安回家路
- 居家抗疫 六个方法可提高免疫力
- 商务部等7部门关于进一步做好汽车以旧换新有关工作的通知