中新网北京11月13日电，国际权威学术期刊《自然》公布了一条关于人工智能(AI)的重磅消息。DeepMind这家隶属于谷歌(Google)的公司，在数学证明领域搞出了大动静。他们开发出一个名叫AlphaProof的AI系统，专门用来解决复杂的数学问题。数学家靠计算机软件来演算理论，AI系统则能大大加快这个速度。虽然现在有不少语言模型很厉害，但因为它们是用自然语言文本训练的，大家很难核实它们到底是怎么推导出来的。DeepMind的团队这次把增强学习搬到了数学软件环境里，把推理过程变得可验证。这个系统先把8000万个命题给形式化了，然后靠增强学习找到证明的方法。 2024年，AlphaProof在国际数学奥林匹克竞赛上亮了相。它跟几何解题系统AlphaGeometry联手，一共解出了6个竞赛问题中的4个，拿到了相当于银牌的分数。《自然》杂志同期还发了一篇评论文章说，AlphaProof虽然在奥数级别的推理上表现抢眼，但解决其他类型的难题还存在不足。要想让它变成真正的复杂数学工具，还得继续在这个方向下功夫才行。