中新网北京11月13日电 (记者 孙自发)国际知名学术期刊《自然》近日发表人工智能(AI)研究论文称，谷歌旗下DeepMind开发出一套可以证明复杂数学理论的AI系统。数学家使用计算工具来解决复杂问题并证明理论，而人工智能系统可以加速这一过程。尽管一些大型语言模型在能力方面具有巨大潜力，但由于它们是在非正式自然语言文本上训练和运行的，因此很难验证其推理的正确性。在这项研究中，DeepMind团队演示了如何在正式的数学软件环境中执行强化学习任务，以生成推理过程可以自动验证的证据，有望克服上述挑战。研究团队表示，alphaproof 旨在证明数学命题。在自动形式化 8000 万个命题后，它通过强化学习找到了这些证明方法。因此，alphaproof已被证明可以改善先前先进人工智能系统在先前数学竞赛问题上的结果。 2024年，在权威的高中数学竞赛国际数学奥林匹克上，alphaproof解决了比赛的复杂问题：比赛过程中，alphaproof与名为alphageometry的几何解题系统合作，解决了6个竞赛问题中的4个，并取得了相当于银牌的高分。 《自然》同时发表了同行专家的“新闻与观点”文章，指出虽然Alphaproof在数学水平竞赛领域的表现令人惊叹，但在解决其他形式的难题时仍然存在一些局限性，并被推荐作为未来的研究方向。克服这些限制将使 alphaproof 变得重要解决复杂数学问题的重要工具。 （超过）