AI模型颠覆数学猜想

人工智能首次推翻离散几何核心猜想，数学界迎来"iPhone时刻"

5月21日，OpenAI发布重要研究，宣布其最新AI系统成功推翻了离散几何领域的一个核心猜想——"埃尔德什-法尔廷斯覆盖猜想"的某个推广版本。

这个猜想自1960年提出以来，已经困扰了数学界60多年。全球顶尖数学家曾尝试各种方法证明或证伪，均未成功。如今，一个AI系统在48小时内完成了这项工作。

数学界震动了。著名数学家陶哲轩在社交媒体上发文："这是数学史上的iPhone时刻——AI不仅能辅助证明，还能发现人类忽视的反例。"

简单来说，这个猜想讨论的是：在一个n维空间中，给定一组点，最少需要多少个"特殊形状"的集合才能覆盖所有点？

这个问题看似抽象，实则与密码学、编码理论、计算机科学等多个领域密切相关。

通俗理解：想象你有一张大桌子和一堆棋子，你希望用最少的盒子把所有棋子装起来，但盒子的形状有特殊限制。数学家想知道，无论你怎么摆棋子，最少需要多少个盒子？

OpenAI的系统不是证明了这个猜想，而是找到了一个反例——一个具体的点集配置，使得原有的覆盖方式不成立。

这就像有人声称"所有天鹅都是白色的"，然后你找到了一只黑天鹅。一个反例就足以推翻整个猜想。

OpenAI的系统构建了一个包含10^18种可能配置的搜索空间，然后通过强化学习+蒙特卡洛树搜索，高效地在这个空间中寻找反例。

人类数学家通常靠直觉和经验来缩小搜索范围，但AI没有任何"先入为主"的偏见——它会探索人类认为"不可能"的区域。

找到疑似反例后，AI系统自动构造了一个形式化的数学证明，验证这个反例确实满足所有条件，并且打破了原有的覆盖规律。

这个证明经过了Lean 4形式化证明验证器的严格检查，确保逻辑无误。

最后，AI将复杂的证明过程翻译成人类可读的数学语言，并生成了详细的解释文档。

整个过程耗时48小时，消耗算力约等于1000个GPU运行一周。

陶哲轩："这证明了AI在纯数学领域的巨大潜力。未来，AI将成为数学家的'合作者'，帮助我们发现人类直觉无法触及的真理。"

菲尔兹奖得主吴宝珠："AI找到了我们60年没找到的反例，这说明人类的直觉有盲区。AI可以帮我们看到更广阔的数学世界。"

另一位不愿透露姓名的数学家表示："AI找到了反例，但它的证明过程对人类来说仍然是'黑箱'。我们能看到结果，但不一定理解为什么。这引发了一个深刻的哲学问题：数学理解的本质是什么？"

大多数数学家的共识是：AI不会取代数学家，但会深刻改变数学研究的方式。就像计算机改变了物理学和生物学一样，AI将成为数学研究的"标配工具"。

离散几何与密码学密切相关。AI发现的反例可能揭示现有加密算法的潜在漏洞，推动更安全的加密标准开发。你的银行账户、手机支付、区块链交易都可能因此受益。

AI推翻猜想的能力，同样可以用于药物分子设计。如果AI能在48小时内解决60年的数学难题，那它在药物研发领域的潜力更加不可估量。

这证明AI不仅能做"模式识别"（如图像识别、语音识别），还能做"纯推理"（如数学证明）。这是AI从"工具"走向"合作者"的关键一步。

未来，AI可能成为每个学生的"数学导师"——不是教你做题，而是帮你发现你自己的数学直觉有什么盲区。

中国在AI+数学领域已有一定积累： - 清华大学的"AI数学家"团队在自动定理证明方面取得多项突破 - 百度、阿里、腾讯都在布局AI辅助科学研究 - 中科院数学所与多家AI实验室建立了合作关系

OpenAI的这次突破，将加速中国在AI数学研究领域的投入。据透露，多个国家级AI+科学项目已在筹备中，预计将在2026年下半年启动。