据北京1月22日电 谷歌旗下人工智能公司“深层思维”近日发布公报称,该公司与美国纽约大学的研究人员合作开发的一种名为AlphaGeometry的人工智能(AI)系统,可以解决复杂的几何问题,其水平接近国际数学奥林匹克竞赛金牌得主,这是人工智能在性能上的突破。
公报说,AI系统往往难以解决几何和数学中的复杂问题,而该研究团队开发的一种方法可生成大量的合成训练数据(1亿个独特的示例),能让AlphaGeometry在没有任何人工演示的情况下进行自我训练。此外,研究团队还添加了一个基于形式逻辑的符号推演引擎,能让系统做出更“深思熟虑”的决策。
测试结果显示,在2000年到2022年国际数学奥林匹克竞赛汇编的30个几何问题中,AlphaGeometry在比赛时间内解决了25个问题,而通常的人类金牌得主能解决25.9个。相比之下,此前最先进的AI系统只解决了其中的10个。公报说,通过AlphaGeometry,研究团队展示了AI日益增长的逻辑推理能力,以及发现和验证新知识的能力。解决国际数学奥林匹克竞赛级别的几何问题,是在通往更先进和通用的AI系统的道路上发展深度数学推理的一个重要里程碑。研究团队正在开源AlphaGeometry代码和模型,并希望它与合成数据生成和训练中的其他工具和方法一起,推动数学和人工智能等领域的新发展。
相关论文已发表在英国《自然》杂志上。
文章版权声明:除非注明,否则均为杭州车汇原创文章,转载或复制请以超链接形式并注明出处。