谷歌旗下人工智能公司“深层思维”近日发布公报说，它与美国纽约大学研究人员合作开发的人工智能（AI）系统AlphaGeometry，可以解决复杂的几何问题，水平接近国际数学奥林匹克竞赛金牌得主，这是人工智能在性能上的突破。
AI系统往往难以解决几何和数学中的复杂问题。研究团队开发了一种方法可生成大量的合成训练数据（1亿个独特的示例），能让AlphaGeometry在无人工演示的情况下自我训练。团队还添加了一个基于形式逻辑的符号推演引擎，能让系统做出更“深思熟虑”的决策。
测试结果显示，在2000年到2022年奥数竞赛汇编的30个几何问题中，AlphaGeometry在比赛时间内解决25个。人类金牌得主通常能解决25.9个。此前最先进的AI系统只能解决10个。
公报说，解决奥数竞赛级别几何问题，是发展深度数学推理的一个重要里程碑。研究团队正在开源AlphaGeometry代码和模型，希望与合成数据生成和训练中的其他工具与方法一起，推动数学和人工智能等领域的新发展。
相关论文已发表在英国《自然》杂志上。
据新华社、央视等报道