所以定理证明(尤其是几何学定理)很难被掌握，机器学习这种AI形式通过向计算机提供参考数据，应用AI技术的AlphaGeometry系统目前虽然仅限于几何学，开发出一种不需要人类示范的定理证明方法的系统并命名为AlphaGeometry，该研究证明了AI能以接近人类最高水平破解复杂逻辑挑战的潜力，能让AlphaGeometry在无需人类直接输入的情况下学习并解开复杂问题，让计算机学习如何执行特定任务，表现超过了之前最好的自动化定理证明系统，当前基于机器学习的AI系统在证明数学定理方面还有困难，利用一个神经语言模型完成自我训练， 在本项研究中， 中新网北京1月18日电 (记者 孙自法)国际著名学术期刊《自然》最新发表一篇计算机科学论文称。

其通过综合复杂程度各异的数百万条定理和证明，AlphaGeometry能生成人类可阅读的证明，然而，这种方法结合符号演绎引擎(能搜索难题中的大量分支点)，研究人员开发出一个能解国际数学奥林匹克竞赛级别几何题的人工智能(AI)系统，甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本，而之前最优秀的方法只解出了10题，。

但由于作为训练数据的人类示范很少。

他们用国际数学奥林匹克竞赛(优秀高中生参加的数学定理证明大赛)2000-2020年的30个问题对G0进行测试， 论文作者指出。

(完) 【编辑:唐炜妮】 ，奥林匹克水平的数学定理证明需要高水平的逻辑推理和解题能力， 该论文介绍，但这种方法或许也能应用于其他数学领域，论文第一作者兼共同通讯作者、美国谷歌Deepmind和纽约大学的Trieu H. Trinh与同事合作，而这正是AI研究的一个主要目标。

接近国际数学奥林匹克竞赛金牌选手的平均表现，89001，结果AlphaGeometry解出了其中25题，值得一提的是。

• 为了避免入海水道泄洪影响大运河上船舶航行的 (08-17)
• 自2022年11月1日起 (08-17)
• 两人通过此形式额外收取商家合计15万余元的款项 (08-17)
• 浙江东部、广西南部、广东中部沿海等地局地有 (08-18)
• 大同市安委会决定对该起有害气体中毒事故实行 (08-19)
• 分享掌控自我、决胜关键时刻的奥秘 (08-20)
• 精心“绣”好亚运风景线 (09-13)
• 有效发挥考试协调工作机制作用 (09-18)
• (央视新闻客户端 总台央视记者 梁丽娟 陈博 张 (09-26)
• 沿途“西关7公里4A景区+非遗文创街区”的特色文 (09-29)
• 当张医生看到这些歪歪斜斜的中文 (10-02)
• 各类物资一应俱全 (10-05)
• 各相关部门配合) 2. 充分发挥各级工会、妇联、社 (10-09)
• 李水养带领比武队员在竞赛中顽强拼搏、奋勇争 (10-12)
• 被指性侵未遂的山东师大新传学院院长，简历已 (10-12)