最新研发人工智能系统:能解国际数学奥林匹克竞赛级别几何题
中新网北京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万家固定污染源纳入排污许可管理
- 最近发表
-
- 随机阅读
-
- 辛国斌会见挪威驻华大使白思娜
- 专家:国际组织需改革,新兴市场国家和私营部门应有更多话语权
- 国务院国资委确定首批启航企业 培育发展新质生产力
- 吉林西部治沙记:40余载绿染白沙尖
- “老味道”焕发新活力 太原“文化地标”月饼受热捧
- 2023年上海市外商投资企业百强发布会举行
- 贵州黎平:万亩稻田鱼迎来丰收季
- 台湾嘉义庙会活动发生爆炸 28人受伤送医
- 第三届接力杯“曹文轩儿童小说奖”获奖作品呈现“三新”特色
- 山西万荣:外加剂产业从“一根棍棍一口锅”奔向百亿产值
- 法德领导人告诉乌克兰总统需要考虑和谈,泽连斯基拒绝了
- 武汉至十堰、荆州短途客运航线开航
- 广州拟打造1000个数字人民币民生领域应用场景
- 2020年以来广东发现动植物新种逾60种
- 如何统筹发展和保护?甘肃多措念好“生态经”
- “雕塑大系——中央美术学院雕塑学科90年”大展在京开幕
- 为何传统产业不能当“低端产业”简单退出
- 第41届泰国旅游节曼谷开幕
- 江苏成为中国新能源产业集聚度最高省份
- 广东旅游热度环比增长373%
- 热门推荐
-
- 广州老城新活力:从“幸福甜蜜”到“热辣滚烫”
- 叙政府军称将很快对反对派武装发起反攻
- 中国可再生能源发电总装机突破14亿千瓦 占比接近50%
- 云南铁路每天开行490列客车应对返程客流高峰
- 法治如何为“千万工程”赋能?专家学者建言落脚共同富裕
- 国家林草局:第一批国家公园建设取得明显成效
- 以色列袭击伊朗 专家称以实施对等报复
- 上海举行“沪应-2024”静安区综合应急演练 进一步提升救援处置和保障能力
- 美国宣布近80亿美元对乌军事援助
- 爱国实业家卢作孚诞辰130周年 家乡重庆合川将办“作孚周”
- 2023年12月规模以上工业主要能源产品生产保持稳定增长
- 存量房贷利息要降?多家银行客服回应
- 中新真探:银杏果能降脂降压吗?
- 小龙虾爱上预制菜的启示
- 新西兰首都一旅馆起火致至少6人丧生
- 浙江文广旅厅副厅长王峻逝世 曾发起拯救老屋计划
- 前8月北京接待游客近2.5亿人次 旅游收入超4500亿元
- 青岛和黑龙江联动 共建“一带一路”国家地方经贸合作
- 多家全国性股份制银行今起下调人民币存款利率
- 首届“国话杯”剧本朗读大会在中国国家话剧院开幕