国际最新研发AI系统：可测试复杂数学理论

作者: bet356体育官方网站   点击次数:    发布时间: 2025-11-14 12:57

中新社北京11月13日电 (孙子)国际知名学术期刊《自然》近日发表人工智能(AI)研究文章，称谷歌子公司DeepMind开发出可测试复杂数学理论的AI系统。数学家使用计算工具来解决复杂问题和测试理论，而人工智能系统可以加速这一过程。一些大规模语言模型在功能方面具有巨大潜力，但由于它们是在非正式自然语言文本上训练和操作的，因此很难验证其推论的正确性。在这项工作中，DeepMind 团队演示了强化学习如何在正式的数学软件环境中工作，以生成推理过程可以自动验证的证明。预计这将超越上述挑战。据研究团队介绍，AlphaProof旨在证明数学命题s。在自动形式化 8000 万个命题后，我们找到了使用强化学习来测试它们的方法。因此，AlphaProof 已被证明可以改善先前先进人工智能系统在先前数学技能问题上的结果。 2024年，AlphaProof解决了国际数学奥林匹克竞赛中的复杂竞赛问题，这是一项著名的高中级别数学竞赛。比赛期间，AlphaProof 与名为 AlphaGeometry 的几何问题解决系统合作，解决了比赛六个问题中的四个，取得了相当于银牌的高分。 Nature 还发表了同行专家的新闻与观点文章，指出虽然 AlphaProof 在竞争性数学推理领域的表现令人印象深刻，但其解决其他形式难题的能力仍然有限，建议作为未来研究的方向。克服这些限制使得 AlphaProof 成为解决复杂问题的重要工具x 数学问题。 （或更多）