能解国际奥数竞赛题的AI系统问世
《自然》17日发表的国际一项计算科学研究,描述了一个能解国际数学奥林匹克竞赛级别几何题的奥数人工智能(AI)系统。其表现超过了之前最好的竞赛自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的系统最高水平。 奥林匹克竞赛中的问世数学定理证明需要高水平的逻辑推理和解题能力。然而,国际当前基于机器学习的奥数AI系统在证明数学定理方面还有困难。机器学习通过向计算机提供参考数据,竞赛让计算机学习如何执行特定任务。系统但由于作为训练数据的问世人类示范很少,所以定理证明,国际尤其是奥数几何学定理很难被证明。 谷歌“深度思维”团队此次描述了一种不需要人类示范的竞赛定理证明方法。基于这一方法的系统AI系统名为“阿尔法几何”(G0)。它综合了复杂程度各异的问世数百万条定理和证明,并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎(能搜索难题中的大量分支点),能让G0在无需人类直接输入的情况下学习并解开复杂问题。 团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题测试了该系统。G0解出了其中25题,接近国际数学奥林匹克竞赛金牌选手的平均表现。而之前最优秀的方法只解出了10题。值得一提的是,G0能生成人类可阅读的证明,甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。 研究人员指出,G0目前仅限于证明几何学定理,但这种方法或许能应用于其他数学领域。
- 最近发表
- 随机阅读
-
- HPLC法同时测定医用橡胶中4种添加剂(二)
- 警察也只是平凡人|天下雜誌
- 娌冲眳鐢熸椿鐨勮瘲鎰忥紝灏卞湪闈掑矝榫欐箹路澶╅墔
- 民眾黨籍縣市長+1! 金門縣長陳福海已入黨
- 特朗普發視頻預告將有重大宣布
- 美國弗吉尼亞州發生槍擊事件致2死5傷
- 恢复营业后,海宁各大商场是这样的……这一幕要警惕!
- 首都师范大学组织开展“以艺倡廉”大学生廉洁文化主题美术作品创作及优秀作品展
- 电视剧《神犬奇兵》精彩剧情介绍【风尚娱乐网】风尚中国网
- 美菲舉行聯合軍演 規模創下史上最大
- 广西南宁一公司宣称其产品“突破能量守恒定律”被立案调查
- 要散播民間色彩|天下雜誌
- “严冬” 来袭 实体书店何去何从?
- 南方澳第一鮪重320公斤 最高價224萬得標
- 德桑蒂斯參選美國總統 挑機特朗普
- 科学网—欧洲核子研究组织将宣布是否发现上帝粒子
- 「热卖推荐」颜色澄清度和生化分析仪用标准物质现货供应中
- “薛蛮子”涉嫌聚众淫乱高频 招嫖跌下道德神坛
- 阿根廷官宣梅西將來中國比賽
- 加拿大野火煙霧蔓延美國東北部 煙塵籠罩紐約
- 搜索
-
- 友情链接
-