AI接连推翻多个数学猜想引发热议

近期，AI接连推翻了包括80年历史的Erdős猜想、近30年历史的图论猜想以及Jacobian猜想在内的多个长期未决的数学难题。由于消息恰逢菲尔兹奖庆祝周，迅速引发了科技与数学界对AI基础科学潜力的热议。开发者Matt Shumer指出，驱动这些突破的交互门槛极低，仅靠“做个突破”、“继续搜索”等简单粗暴的提示词即可实现，这意味着未来任何人都能参与高精尖科研。

各方反应与争议

关于此事的意义，业界存在不同看法。@burnytech与@JacquesThibs等人认为，当前正处于AI辅助数学研究的黄金窗口期，因为大语言模型（LLM）在寻找反例方面表现出色，而人类恰好又非常擅长提出错误的数学猜想，两者结合极大地推动了探索效率。@LucaAmb进一步指出，AI真正的优势在于愿意在看起来“很可能白费功夫”的问题上投入足够长时间和算力，通过推翻旧直觉来取得真实进展。然而，@joshuasaxe对此持相对谨慎的态度。他认为，结合此前模型在数学上的已有进展，这类发现更像是一次边际增强，而非能力的绝对跃迁，呼吁外界不要因为单个高难数学结果就过度推断模型的整体推理上限。

关键细节与背景

针对AI为何能找到反例，@dyamins提供了技术视角的解读。他强调，数学模型其实早就很擅长穷尽式检查条件、处理组合爆炸式的边界情况，并通过约束推理剪掉无限的搜索空间。因此，AI能找出Jacobian式反例或许在技术上早已“很显然”，因为这些枯燥的穷举检查工作恰恰是人类最不愿意做的。@dyamins还深刻反思指出，AI的介入暴露出人类（甚至顶尖数学家）在研究探索中存在严重的“偏见性探索”盲区，可能导致大量聪明人在错误方向上白白浪费百年时间。此外，@arannayebi补充道，即便AI在其他方面仍接近普通人类水平，只要能在寻找稀奇古怪的反例上超越人类，就能帮助数学家提升直觉、暴露边界情况，从而提出更好的猜想。有评论预测，虽然宏大难题暂难攻克，但未来十年可能会出现一波AI打破上千个数学旧猜想的反例发现潮。

2026-07-21 ~ 2026-07-23 · 13 条相关

一手来源