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

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

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

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

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

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

• ·错误言论暗藏三大意图，高市早苗打的什么“算盘”？｜ 国际识局
• ·产教城一体化发展打造“县域示范”晋江案例入选全国典范
• ·中国平安旗下深圳北医康复医院开业，汇聚领军专家、打造六大康复专科 “保险+康复+养老”深度协同
• ·产教城一体化发展打造“县域示范”晋江案例入选全国典范
• ·韩国特检组追加起诉前总统尹锡悦
• ·产教城一体化发展打造“县域示范”晋江案例入选全国典范
• ·中信银行合肥瑶海支行开展人民币收付和残损币兑换宣传活动
• ·今日外汇决策分析：非农、CPI、指数再平衡三箭齐发！
• ·领土、重建、解除制裁……俄乌“28点”和平计划披露
• ·青年创造教育蓝海，心智重塑家庭教育新篇章
• ·特朗普谈乌克兰试图袭击普京官邸：对此很生气
• ·感恩同行，逸启新程——朗逸Pro合肥媒体答谢会圆满落幕
• ·安徽省青年科技活动中心党支部志愿服务进入社区座谈会圆满举行
• ·锻造高素质文旅推介人才队伍 “海丝泉州推荐官”大赛今日启动
• ·今日外汇交易必读：美元指数保持在月高位涨幅 市场静待美联储官员讲话
• ·美国务卿鲁比奥下周将与丹麦官员会面 讨论格陵兰岛