国际新研发一AI系统：能证明复杂数学理论

　　中新网北京11月13日电 (记者 孙自法)国际知名学术期刊《自然》新发表一篇人工智能(AI)研究论文称，谷歌(Google)旗下DeepMind研发出一个AI系统，能证明复杂的数学理论。

　　数学家利用计算工具解决复杂问题、证明理论，AI系统则可以加速这一过程。虽然一些大语言模型在能力上很有潜力，但人们很难验证它们理的正确，因为它们是用非正式的自然语言文本进行训练和操作的。

疾风暴雨下，新能源汽车是否有漏电风险呢？科技日报记者就此采访了相关家，为您答疑解惑。

随着国内生成式人工智能的快速发展，相关监管政策正逐步落地，由国家互联网信息办公室等七部门联发布的《生成式人工智能服务管理暂行办法》(以下简称《办法》)于8月15日正式施行。作为我国份针对生成式人工智能的规范监管文件，《办法》以“促进生成式人工智能健康发展和规范应用”为目标，明确国家坚持发展和安全并重、促进创新和依法治理相结的原则，对生成式人工智能服务实行包容审慎和分类分级监管。

　　在本项研究中，DeepMind团队演示了如何让增强学习在一个正式数学软件环境中工作，从而生成理过程能被自动验证的证明，有望克服上述挑战。

　　据研究团队介绍，设备保温施工AlphaProof为证明数学命题而设计，其在对8000万个命题进行自动形式化后，通过增强学习找出这些证明方法，因此，AlphaProof被证明能提升之前先进AI系统在既往数学竞赛问题上的结果。

　　2024年，在一项的高中水平数学竞赛——国际数学奥林匹克竞赛上，AlphaProof解出了竞赛的复杂问题：在比赛过程中，AlphaProof联名为AlphaGeometry的几何解题系统，解出6个竞赛问题中的4个，取得相当于银牌水平的高分。

　　《自然》同期发表同行家的“新闻与观点”文章指出，虽然AlphaProof在竞赛级数学理领域的表现令人惊艳，但它在求解其他形式难题上还存在一些局限，建议作为未来的研究方向，而克服这些局限，将使AlphaProof成为一个重要的复杂数学问题解题工具。(完)