证明数学定理是一项具有寻衅性的事情，因此国际数学奥林匹克竞赛常日被认为是识别干系人才的方法，同时也是AI在数学和推理领域的试验场。公报说，AI系统每每难以办理几何和数学中的繁芜问题，而该研究团队开拓的一种方法可天生大量的合成演习数据（1亿个独特的示例），能让AlphaGeometry在没有任何人工演示的情形下进行自我演习。此外，研究团队还添加了一个基于形式逻辑的符号推演引擎，能让系统做出更“寻思熟虑”的决策。
测试结果显示，在2000年到2022年国际数学奥林匹克竞赛汇编的30个几何问题中，AlphaGeometry在比赛韶光内办理了25个问题，而常日的人类金牌得主能办理25.9个。比较之下，此前最前辈的AI系统只办理了个中的10个。
公报说，通过AlphaGeometry，研究团队展示了AI日益增长的逻辑推理能力，以及创造和验证新知识的能力。办理国际数学奥林匹克竞赛级别的几何问题，是在通往更前辈和通用的AI系统的道路上发展深度数学推理的一个主要里程碑。研究团队正在开源AlphaGeometry代码和模型，并希望它与合成数据天生和演习中的其他工具和方法一起，推动数学和人工智能等领域的新发展。
干系论文已揭橥在英国《自然》杂志上。
来源： 新华网