GPT 解决了 67 年的猜想？森多夫猜想浅读

luyuanhong

GPT 解决了 67 年的猜想？森多夫猜想浅读

原创  abc 不知道  一团雾水  2026 年 8 月 16 日 11:47  日本

2026 年 8 月，一个困扰数学界近 67 年的问题迎来关键突破。

森多夫猜想（Sendov's Conjecture），1958 年由保加利亚数学家 Blagovest Sendov 提出。2026 年，Lech Mazur 借助 AI 找到一个覆盖所有次数的证明，并完成 Lean 形式化验证；随后陶哲轩对这份机器生成的证明进行重新整理和“消化”，把它变成数学家能够理解的证明框架。

这件事为什么值得关注？先从这个看起来很简单的问题说起。

一个描述很简单的问题



换句话说：

每一个原来的根，附近半径 1 的范围内，都必须藏着一个导数的根。

问题听起来像几何题，但真正证明起来极其困难。



为什么“1”恰好是最佳答案？



为什么这么难？

早在 19 世纪，Gauss–Lucas 定理就告诉我们：

如果多项式的根都在某个区域里，那么导数的根会落在这些根的凸包中。

但 Sendov 要求得更细：

不是“导数根总体上别跑太远”，而是：

每一个指定的原根，都必须在附近找到一个导数根。

这从“整体几何”变成了非常精细的“局部几何”。

67 年的接力赛

这个问题从 1958 年开始，一直有人在推进。

20 世纪 60 年代，人们陆续解决了低次数情形。

1996 年，Borcea 解决了 6 次以及至多 6 个不同零点的情形。

1999年，Brown 和 Xiang 把已知结果推进到：

之后，研究开始转向“高次数”。

2014 年，Dégot 证明：对于固定的零点位置 ，当次数足够大时，Sendov 猜想成立。

2018 年，相关结果进一步被显式化。

真正的大突破出现在：

2020 年：陶哲轩

陶哲轩证明：

当次数足够大时，Sendov 猜想一定成立。

这一步非常重要，相当于把“无限问题”压缩成了一个有限范围的问题。

但还剩最后一道墙：

中间那些次数怎么办？

2026 年：AI 参与了最后一公里

2026 年 8 月，Lech Mazur 借助 AI 工具找到了覆盖所有次数的证明路线，并将证明形式化到 Lean 。

随后陶哲轩对这份证明进行了重新整理、简化和解释。

这里有一个非常重要的区别：

AI 并不是简单地“算出了答案”。

更准确地说，是：

       AI 寻找证明  —> Lean 验证  —> 人类数学家理解和重写

这也是这次事件最有意义的地方。

ProofAtlas 目前将相关结果标记为 Lean formalization checked ，acceptance review open 。所以更加严谨的表述应该是：

Sendov 猜想已经出现了一个覆盖所有 n≥2 的完整形式化证明，并经过 Lean 检查；相关数学证明正在进一步接受同行层面的审查。

新证明到底聪明在哪里？



原来我们面对的是：

“导数根不能进入某个圆。”

经过变量变换之后，变成了：

“所有 qj 都落在单位圆里。”

于是问题从复杂的多项式根问题，被改写成了一个漂亮的几何问题。

最后的矛盾



简单理解：

如果反例存在，那么参数必须同时落在两个区域里；但数学证明表明，这两个区域根本没有交集。

于是反例不存在。Sendov 猜想成立。

2020 年的陶哲轩，和 2026 年的陶哲轩

这里其实有一个非常漂亮的“闭环”。

2020 年，陶哲轩用紧致性、势理论等较深的分析工具，证明“足够高次数”成立。

2026 年的新证明反而更加初等。

陶哲轩介绍，这套新方法主要依赖：

● 基本代数；

● 单位圆几何；

● Mobius 变换的一些基本事实；

● Maclaurin不等式。

也就是说：

一个困扰数学家 67 年的问题，最后并不是靠越来越复杂的工具解决，而可能是找到了一个更好的坐标系。

这件事何意味？

Sendov 猜想当然只是一个数学问题。

但 2026 年的故事，更值得关注的是一种正在出现的新科研模式：

                    AI 发现 + 机器验证 + 人类理解

AI 擅长在巨大的证明空间里搜索。

Lean 擅长检查：

每一步到底对不对。

而数学家负责回答：

为什么要这么做？

这三者结合起来，可能正在改变数学研究的工作方式。

所以，Sendov 猜想最值得记住的，也许不是那几个复杂的不等式。

而是这一点：

数学最难的地方，有时不是证明一个命题，而是找到一个能够让命题变得可证明的语言。

67 年前，问题被提出。

2020 年，陶哲轩解决了高次数情形。

2026 年，AI 、Lech Mazur 、Lean 与陶哲轩，把最后的拼图拼上。

一个半多世纪前看似简单的问题，终于迎来了它的答案。

相关阅读：

论文：https://www.proofatlas.ai/papers ... ate_Revision_14.pdf

陶哲轩博客：https://terrytao.wordpress.com/2 ... sendovs-conjecture/

一团雾水