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

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

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

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

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

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

• ·泰康人寿迅速赔偿意外死亡赔偿150万元，以保险温度保护家庭未来
• ·HWP全球招聘成功启动泰康30周年，共绘“新寿险”时代人才蓝图
• ·笑出鹅叫！快来长丰马疯狂动物园看看别样的东西！“熊猫”！
• ·西班牙高铁脱轨事故已致至少21人死亡
• ·我在派园有块地！派园！“新一分地”招租
• ·徽风贺岁，礼献新春｜安徽高速开元国际酒店年货礼盒，开启年味选择！
• ·66村上榜！十大特色展区带你去！“一天可以看到皖村美”
• ·仕与艺的古琴弦：从林存安的笔墨转身开始
• ·“汇聚全球智慧，协同共创未来”企业圆桌会议在莫斯科举行
• ·泰康人寿马鞍山中支30周年成果展隆重开幕
• ·中国交存《海洋生物多样性协定》批准书
• ·美国肯塔基州立大学枪击事件致1死1伤，嫌疑人已被拘留
• ·英国博尔顿发生两车相撞事故 致4亡5伤
• ·乌总统与美特使通话 讨论乌克兰和平进程
• ·美国布朗大学枪击事件致2死8伤
• ·安徽淮北朱丽芳泰康人寿:从客户到实践者的华丽转变