AI自主数学猜想生成系统MathGenesis发布：首个独立提出并证明新定理的AI系统

AI自主数学猜想生成系统MathGenesis发布：首个独立提出并证明新定理的AI系统

2030年7月12日，DeepMind正式发布了MathGenesis自主数学猜想生成系统。该系统不仅能够证明已知定理，更首次实现了独立提出全新数学猜想并通过形式化验证完成严格证明。在发布前的内部测试中，MathGenesis提出了7个全新猜想，其中3个已被证明为真，1个的相关论文已被顶级期刊《数学年刊》接收。

MathGenesis的技术架构基于大语言模型与形式化证明助手Lean 4的深度融合。系统首先在海量数学文献上训练，学习数学概念之间的深层关联模式，然后通过「猜想蒸馏」模块识别现有理论体系中的空白点，最后使用Lean 4进行严格的机械化证明。

「数学家的工作本质上是两步：提出好的问题，然后找到证明，」DeepMind数学AI负责人Pushmeet Kohli表示，「MathGenesis第一次让AI完整地走通了这两步，而不只是回答人类已经提出的问题。」

MathGenesis提出的最有影响力的猜想涉及图论中的一个开放问题——关于稀疏图中哈密顿路径存在性的新充分条件。该猜想的证明使用了一种全新的组合技巧，审稿人评价其「展现了令人惊讶的数学直觉」。

不过，数学界对MathGenesis的反应并不一致。菲尔兹奖得主陶哲轩表示：「MathGenesis的证明在技术上是正确的，但它提出的猜想是否『有趣』——是否真的推进了我们对数学的理解——这需要时间来判断。」另一位匿名审稿人则直言：「一个能够提出猜想的AI和一个能够提出有价值猜想的AI之间还有巨大的鸿沟。」

DeepMind已将MathGenesis的核心模块开源，并与普林斯顿大学、巴黎高等师范学院建立了合作，计划将该系统应用于数论和代数几何中的开放问题。