最新研发人工智能系统:能解国际数学奥林匹克竞赛级别几何题
中新网北京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万家固定污染源纳入排污许可管理
- 最近发表
-
- 随机阅读
-
- 防台风“格美” 福建省内全部旅客列车25日计划停运
- 国铁西安局打造“开往春天的列车” 促油菜花“旅游热”
- “中国东方白鹳之乡”超120对东方白鹳产卵 孵出350只“鹳宝宝”
- 盈创力和亮相北京服贸会 展现服务贸易新力量
- 信通院专家:Web 3.0已成为当前互联网的核心形态
- 蔡志忠出新书:漫画如何传达传统文化?
- 山东:5月4日起核酸检测对所有人员免费
- 喝牛奶致癌是真的吗
- 加沙卫生部:本轮巴以冲突已致加沙地带41252人死亡
- 2023年中秋国庆假期铁路加大运力供给 运输期限延长为12天
- 秦岭生物多样性司法保护基地在陕揭牌
- 前五月中国完成水运建设投资734亿元 同比增逾30%
- 《大侦探8》用法治文艺节目创新普法形式
- (新春走基层)江西1500余名务工人员暖心返乡:“把幸福带回家”
- 中央气象台继续发布暴雨橙色预警
- 新疆阿勒泰多处雪崩 上千名滞留游客情况如何?最新消息→
- 中央音乐学院探索人工智能技术与脑科学在音乐领域的应用
- 印尼雅加达油库火灾已致19死3失踪 搜救仍在继续
- 江苏“双减”接下来将如何“减”?
- 4架陆航直升机凌晨赴北京门头沟地区执行空投转运任务
- 热门推荐
-
- 北京:社区医院不停诊 春节随时可“寻医”
- 国际热评:竞争不应是中美关系主要底色
- 纪念昙石山遗址发现70周年 史前彩陶联展福州启幕
- 天津升级发布暴雨黄色预警信号
- “建”美好 行万里丨恩施邀您观山望川!
- 美媒:美国警告伊朗不要再次对以色列发动袭击
- (新春走基层)海内外书法名家广州集体写“福”迎新春
- 扩大进博会溢出效应 上海启动“国别缤纷月”
- 反北约示威不断!法国万人上街抗议对乌军援
- 买了包月卡还被收取15元骑行费?多位成都市民吐槽
- 重庆将举行超300场消费活动 助推国际消费中心城市培育建设
- 国开行向首批近百个城中村改造项目发放专项借款
- 暴雪夜袭江西 气象部门启动暴雪冰冻Ⅲ级应急响应
- 暴雨黄色预警:湖南湖北等4省部分地区有大暴雨
- 芬兰议会表决通过该国加入北约的法案
- 官宣!“低空司”来了
- 阿里云、微软、Meta等共同制定下一代AI网络架构标准
- 国产“三蹦子”火到国外,“倒车请注意”响彻街头
- 第十一届费孝通学术思想研讨会在沪召开
- 中新真探:使用加湿器会导致加湿器肺炎吗?