斯梅尔问题（Smale's Problems）完整18个

发表于2026-07-23，长度17900， 1096个单词， 51分钟读完

1900年，大卫·希尔伯特在巴黎国际数学家大会上提出了23个问题，深刻塑造了20世纪数学的研究方向。近一个世纪后的1998年，国际数学联盟（IMU）委托菲尔兹奖得主斯蒂芬·斯梅尔（Stephen Smale, 1930–）为《Mathematics: Frontiers and Perspectives》一书撰写一份面向21世纪的问题清单。斯梅尔于2000年正式发表了18个问题，涵盖纯数学、动力系统、计算复杂性、数学物理和经济学等领域。

斯梅尔本人是微分拓扑与动力系统的奠基人之一：他证明了高维庞加莱猜想（n≥5，1961年菲尔兹奖工作）、建立了结构稳定性理论和马蹄映射、开创了全局分析。他的问题清单带有鲜明的个人印记——既有经典纯数学猜想，也有他毕生关注的动力系统问题，还纳入了计算理论和经济学等跨学科议题，体现了他对”数学统一性”的信念。

截至2026年，18题中3题完全解决，5题部分解决，10题仍然开放。

第1题：黎曼假设（Riemann Hypothesis）

由来与背景

1859年，德国数学家伯恩哈德·黎曼当选柏林科学院通讯院士，按惯例需提交一篇学术论文。他选择了题为《论小于给定数值的素数个数》（Über die Anzahl der Primzahlen unter einer gegebenen Größe）的短文，仅8页，却彻底改变了数论的面貌。

黎曼将欧拉在1737年引入的ζ函数 ζ(s) = Σₙ₌₁^∞ n⁻ˢ（Re(s) > 1）通过解析延拓推广到整个复平面（除去 s=1 处的简单极点）。他发现ζ函数的非平凡零点（即不在负偶数处的零点）的分布与素数计数函数 π(x) 有精确的解析联系——通过所谓的”显式公式”，π(x) 可以表示为对所有非平凡零点的无穷求和。

黎曼在文中写道：”很可能所有零点的实部都等于1/2。”这就是黎曼假设。他承认自己未能证明，并说”经过几次短暂的失败尝试后，我暂时搁置了对此的进一步探究，因为它对我当前的研究目标而言并非必要。”

为何重要

若黎曼假设成立，素数定理的误差项将从 O(x·exp(-c√ln x)) 改善为 O(√x·ln x)，这是本质上最优的。更深层地，它等价于Mertens函数的增长被 √x 控制、等价于Li(x) - π(x) 的无穷多次变号、等价于大量数论函数的精确渐近行为。在应用层面，RSA等公钥密码体系的安全性虽不直接依赖黎曼假设，但素数分布的精确知识影响密码参数选择的理论基础。

解决历程

1896年：阿达马（Hadamard）和德拉瓦莱-普桑（de la Vallée Poussin）独立证明ζ函数在 Re(s)=1 上无零点，由此证明素数定理。
1914年：哈代（G.H. Hardy）证明临界线 Re(s)=1/2 上有无穷多个零点——这是第一个正面结果，但”无穷多”远不等于”全部”。
1921年：哈代与利特尔伍德（Littlewood）证明临界线上零点有正比例。
1942年：塞尔伯格（Selberg）证明临界线上的零点占所有非平凡零点的正比例（约1/3以上）。
1974年：莱文森（Levinson）将比例提高到至少1/3；1989年Conrey提高到2/5以上。
1973年：蒙哥马利（Montgomery）发现零点对关联函数与随机矩阵理论（GUE系综）精确吻合，暗示ζ函数零点分布与量子混沌有深刻联系。
计算验证：从1930年代图灵（Turing）用机械计算机验证前1104个零点，到1956年Lehmer验证到25000个，到2004年Gourdon验证前10¹³个零点全部在临界线上——无一例外，但数值证据不能替代证明。

意义与联系

黎曼假设是千禧年七大难题之一（悬赏100万美元），也是希尔伯特第8问题的一部分。它与朗道-西格尔零点问题、广义黎曼假设（GRH，推广到所有L函数）、函数域上的韦伊猜想（已由韦伊1948年证明）形成庞大的”零点分布”理论族。德利涅（Deligne）证明韦伊猜想时使用的ℓ进上同调方法，至今未能移植到经典黎曼假设。

状态：未解决。

第2题：庞加莱猜想（Poincaré Conjecture）

由来与背景

1900年，亨利·庞加莱（Henri Poincaré）在《Analysis Situs》系列论文的第三篇中提出了一个拓扑学基本问题：如何刻画三维球面 S³？他最初以为”同调群与 S³ 相同”就足以刻画，但1904年他自己构造了反例（庞加莱同调球），于是修正问题为：

任何单连通的闭三维流形是否同胚于 S³？

“单连通”意味着所有闭合曲线可以连续收缩为一点。在二维， analogous 命题（单连通闭曲面必为 S²）是经典定理。高维情形（n≥5）由斯梅尔1961年用h-配边定理证明（获1966年菲尔兹奖），四维由弗里德曼（Freedman）1982年证明（获1986年菲尔兹奖）。唯独三维情形最为困难，因为低维拓扑中”空间不够”——高维中可用的”一般位置”技巧在三维失效。

解决历程

1960–70年代：瑟斯顿（Thurston）提出几何化猜想——每个三维流形可以分解为具有八种标准几何结构之一的块。庞加莱猜想是几何化猜想的特例。
1982年：汉密尔顿（Richard Hamilton）引入里奇流（Ricci flow）∂g/∂t = -2Ric(g)，试图让流形的度量在”热流”下趋于均匀。他证明了正里奇曲率三维流形的收敛性，但一般情形下流会发展”奇点”（neckpinch），需要”手术”来继续。
1990年代：汉密尔顿发展了”带手术的里奇流”纲领，但未能完成全部技术细节。
2002年11月–2003年7月：格里戈里·佩雷尔曼（Grigori Perelman）在arXiv上发表三篇预印本：
1. 《The entropy formula for the Ricci flow and its geometric applications》——引入”约化体积”单调性公式（W-熵），排除”雪茄”奇点。
2. 《Ricci flow with surgery on three-manifolds》——建立系统的手术理论，证明流在有限次手术后终止。
3. 《Finite extinction time for the solutions to the Ricci flow on certain three-manifolds》——证明单连通情形下流在有限时间完全消亡，从而得到庞加莱猜想。
2006年：曹怀东与朱熹平发表300余页的详细验证论文；摩根（Morgan）与田刚（Gang Tian）独立发表另一份完整验证。
2006年：佩雷尔曼被授予菲尔兹奖，拒绝领取。
2010年：克雷数学研究所授予佩雷尔曼千禧年奖金（100万美元），同样被拒绝。佩雷尔曼表示：”如果证明是正确的，其他的奖励都不需要。”

意义

庞加莱猜想的解决不仅终结了拓扑学百年悬案，更重要的是佩雷尔曼证明了完整的瑟斯顿几何化猜想，为三维流形提供了完整的分类框架。里奇流方法深刻影响了微分几何、广义相对论和数学物理。

状态：已解决（2003）。

第3题：P 与 NP 问题

由来与背景

1936年，图灵（Turing）和丘奇（Church）建立了可计算性理论，回答了”什么是算法”。1960年代，哈特马尼斯（Hartmanis）和斯特恩斯（Stearns）引入时间复杂性层次，将问题按所需计算时间分类。

1971年，库克（Stephen Cook）在论文《The Complexity of Theorem-Proving Procedures》中证明：布尔可满足性问题（SAT）是”NP完全”的——任何NP问题都可以在多项式时间内归约到SAT。列文（Leonid Levin）1973年在苏联独立得到类似结果。1972年，卡普（Richard Karp）给出21个经典的NP完全问题（旅行商、图着色、团问题、背包问题等），展示了NP完全性的普遍性。

P vs NP 问的是：P（多项式时间可解）是否等于 NP（多项式时间可验证）？直觉上，”验证一个证明”应该比”发现一个证明”容易得多，但无人能严格证明这种分离。

为何重要

若 P = NP，则密码学（RSA、椭圆曲线）、组合优化、人工智能中的搜索问题都将有高效算法——世界将根本不同。若 P ≠ NP（多数学者相信如此），则这些困难是本质性的，不可逾越。

解决历程与障碍

1975年：贝克（Baker）、吉尔（Gill）、索洛韦（Solovay）证明”相对化障碍”——存在预言机 A 使 P^A = NP^A，也存在 B 使 P^B ≠ NP^B。因此任何”相对化”的证明技术（对角化等）无法解决此问题。
1990年：沙米尔（Shamir）证明 IP = PSPACE（交互式证明等价于多项式空间），展示了非相对化技术的力量。
1997年：拉兹博罗夫（Razborov）和鲁迪奇（Rudich）证明”自然证明障碍”——在单向函数存在的假设下，任何”自然”的组合论证无法证明超多项式电路下界。
2000年代至今：穆尔穆莱（Mulmuley）的几何复杂性理论（GCT）试图用代数几何和表示论绕过上述障碍，但进展缓慢。
电路复杂性方面：已知显式函数需要超线性电路（如 3n - o(n)），但距离超多项式下界仍极远。

意义

P vs NP 是千禧年七大难题之一，也是理论计算机科学的核心开放问题。它连接了逻辑、代数、组合、密码学和人工智能的基础。

状态：未解决。

第4题：多项式的整数零点（τ猜想）

由来与背景

此问题源于斯梅尔对”实数计算复杂性”的长期思考。1989年，布鲁姆（Blum）、舒布（Shub）和斯梅尔（Smale）提出了BSS计算模型——在实数域上以单位代价执行算术运算的图灵机，作为经典比特模型的连续类比。

在此框架下，一个整系数多项式 f ∈ Z[t] 的”直线程序复杂性” τ(f) 定义为：从常数 0 和 1 出发，用加、减、乘运算计算 f 所需的最少步数。τ(f) 衡量的是 f 的”算术复杂度”。

斯梅尔问：f 的不同整数零点个数能否被 τ(f) 的某个多项式所控制？

为何重要

若此猜想成立，将给出整数多项式求根的根本性限制——算术复杂度低的多项式不可能有太多整数根。它与以下问题深度交织：

希尔伯特第十问题：马季亚谢维奇（Matiyasevich）1970年证明一般丢番图方程不可判定，但对单变量多项式的整数零点问题（本质上是因式分解）是可判定的。τ猜想给出的是定量而非定性的界。
因式分解算法：Lenstra-Lenstra-Lovász（LLL）算法可在多项式时间内分解整系数多项式，但其复杂度依赖于系数大小而非τ(f)。
P vs NP 的算术类比：τ猜想可视为”算术P ≠ 算术NP”的一个具体推论方向。

解决进展

至今未解决。已知的部分结果包括：对特殊形式的多项式（如稀疏多项式、分圆多项式）可以验证猜想成立，但一般情形缺乏有效工具。

状态：未解决。

第5题：丢番图曲线的高度界（Height Bounds for Diophantine Curves）

由来与背景

希尔伯特第十问题（1900年提出）问：是否存在通用算法判定任意丢番图方程是否有整数解？1970年，马季亚谢维奇（利用Davis-Putnam-Robinson的前序工作）给出否定回答——不存在这样的通用算法。

但对于两个变量的方程 f(x,y) = 0（即代数曲线），情况可能不同。根据曲线的亏格（genus），解的结构有本质差异：

亏格0（如有理曲线）：参数化后解的结构清晰，可判定。
亏格1（椭圆曲线）：Mordell-Weil定理保证有理点构成有限生成群，但整数点的确定仍困难。
亏格≥2：法尔廷斯（Faltings）1983年证明Mordell猜想——有理点有限（获1986年菲尔兹奖），但证明是”非有效的”——不给出点的个数或大小的界。

斯梅尔的问题是：对正亏格曲线，最小整数解的”高度”（max(

) 的对数）能否被方程编码长度的多项式所控制？若能，则存在指数时间算法判定 f(x,y)=0 是否有整数解。

解决历程

1960–70年代：贝克（Alan Baker）发展了线性型对数的有效下界，给出了某些特殊丢番图方程（如Thue方程）解的有效上界，但界是天文数字级别的大。
1983年：法尔廷斯证明Mordell猜想（亏格≥2曲线有理点有限），但方法完全非有效。
1985年：马瑟（Masser）和奥斯特尔（Oesterlé）提出abc猜想，若成立将给出法尔廷斯定理的有效版本。望月新一（Mochizuki）2012年声称证明abc猜想（IUT理论），但至今未被数学界普遍接受。
一般曲线的有效高度界仍然完全开放。

意义

此问题处于”可计算性”与”有效性”的交汇处：我们知道解有限（法尔廷斯），但不知道有限到什么程度。它连接了算术几何、超越数论和计算复杂性。

状态：未解决。

第6题：天体力学中的相对平衡（Relative Equilibria）

由来与背景

1687年，牛顿在《自然哲学的数学原理》中解决了二体问题。三体问题则成为此后三百年的数学挑战。1767年，欧拉（Euler）发现三体共线构型；1772年，拉格朗日（Lagrange）发现等边三角形构型——这些就是”相对平衡”：在随系统匀速旋转的参考系中，所有天体保持静止。

更一般地，”中心构型”（central configuration）是指加速度向量与位置向量成比例的n体构型，每个中心构型对应一个相对平衡。1970年，斯梅尔在国际数学家大会（ICM）的报告中将”中心构型的有限性”列为重要的开放问题。

问题表述

对所有正质量 m₁,…,mₙ，平面n体问题的相对平衡构型（模去旋转、平移和缩放对称性）是否有限？

解决历程

1767/1772年：欧拉和拉格朗日给出三体的全部5个相对平衡（3个共线 + 2个等边三角形）。
1970年：斯梅尔在ICM报告中正式提出n体有限性问题。
2001年：Moeckel证明四体中心构型对几乎所有质量有限（除去一个代数簇）。
2006年：汉普顿（Hampton）和默克尔（Moeckel）完全证明四体情形的有限性——对任意正质量，四体相对平衡恰好有限个。
2012年：阿尔布伊（Albouy）和卡洛申（Kaloshin）证明五体情形在一个余维2的例外质量集之外有限。
一般n体（n≥6）仍然完全开放。

意义

此问题连接了经典力学、代数几何（构型空间是代数簇）和变分法。在应用层面，相对平衡对应航天器轨道设计中的”平动点”（如日-地系统的L1-L5拉格朗日点），也是理解分子构型（如原子团簇）的数学基础。

状态：部分解决（n≤5基本完成，一般n开放）。

第7题：球面上点的分布（Distribution of Points on the 2-Sphere）

由来与背景

1904年，物理学家汤姆森（J.J. Thomson，电子的发现者）在研究原子结构时提出：N个相同电荷在球面上如何分布才能使总静电势能最小？这就是”汤姆森问题”。数学上，这等价于最小化对数能量 E(x₁,…,xₙ) = -Σᵢ<ⱼ ln

xᵢ - xⱼ

。

“费凯特（Fekete）点”是使对数能量最小的构型。对小的N（N≤6），精确解已知（正多面体顶点）；对一般N，精确构型极其复杂且无规律。

斯梅尔的问题不是求精确最小值，而是问计算复杂性：能否在多项式时间内找到”足够好”的近似？

问题表述

是否存在一个实数算法，对任意N，在 poly(N) 时间内输出N个球面上的点，使其对数能量与最小值之差不超过 c·ln N（c为与N无关的普适常数）？

解决历程

1998年：Saff和Kuijlaars给出了渐近最优的能量界，但构造不是多项式时间的。
2000年代：多种启发式方法（螺旋点、最小能量迭代）在实践中表现良好，但缺乏理论保证。
2012年：Brauchart、Hardin和Saff证明了随机点在期望意义下接近最优，但确定性多项式时间算法仍缺。
满足斯梅尔严格表述（确定性 + 多项式时间 + 普适常数c）的算法至今未建立。

意义

此问题连接了位势理论、数值分析（球面求积公式）、编码理论（球面码）和计算几何。在应用中，球面均匀分布用于全球气候网格、卫星星座设计和计算机图形学。

状态：未解决。

第8题：经济理论中的动力学（Dynamics in Economic Theory）

由来与背景

1954年，阿罗（Arrow）和德布鲁（Debreu）用不动点定理证明了一般均衡的存在性——在完全竞争市场中，存在一组价格使所有市场同时出清。这是20世纪经济学的最高成就之一（阿罗1972年、德布鲁1983年获诺贝尔经济学奖）。

然而，阿罗-德布鲁理论本质上是静态的：它只说均衡存在，不说价格如何到达均衡。瓦尔拉斯（Walras）在19世纪提出的”试探过程”（tâtonnement）——价格按超额需求方向调整——是最自然的动态模型，但其收敛性极难保证。

1970年代，索南沙因（Sonnenschein）、曼特尔（Mantel）和德布鲁证明了”索南沙因-曼特尔-德布鲁定理”（SMD定理）：任何满足连续性和瓦尔拉斯律的函数都可以是某个经济的超额需求函数。这意味着一般均衡理论对价格调整动力学几乎没有施加任何限制——”anything goes”。

斯梅尔本人从1976年起研究价格调整的动力系统方法，试图用微分方程和稳定性理论为经济动力学建立严格基础。

问题表述

能否将静态一般均衡理论扩展为完整的价格调整动力学理论——描述多市场价格如何随时间演化并趋向均衡，最好从单个经济主体的行为出发推导？

解决进展

在特殊结构（如Gross Substitutes条件）下，tâtonnement的收敛性已知。
演化博弈论（Maynard Smith, 1982）和学习动力学（Fudenberg-Levine, 1998）提供了替代性的动态均衡选择机制。
但通用的、从微观主体出发的动态均衡理论仍未建立。SMD定理表明，在完全一般性下可能不存在这样的理论。

意义

此问题处于数学（动力系统、微分方程）与经济学（一般均衡、机制设计）的交汇处。它追问的是：均衡不仅是存在的，而且是”可达的”吗？这对理解真实市场的价格形成机制有根本意义。

状态：作为研究纲领仍然开放。

第9题：线性规划的强多项式算法（Linear Programming）

由来与背景

1947年，丹齐格（George Dantzig）发明单纯形法（Simplex Method），开创了线性规划乃至整个运筹学。单纯形法在实践中极其高效，但1972年Klee和Minty构造了”Klee-Minty立方体”，证明单纯形法在最坏情况下需要指数时间（2ⁿ步）。

这引发了根本性问题：线性规划是否存在多项式时间算法？

1979年：哈奇扬（Khachiyan）用椭球法首次证明线性规划可在多项式时间内求解——但算法在实践中极慢，且复杂度依赖于数据的位数（即不是”强多项式”的）。
1984年：卡马卡（Karmarkar）提出内点法，既是多项式时间又在实践中与单纯形法竞争。

但斯梅尔问的是更强的问题：是否存在”强多项式”算法——运算次数仅依赖于约束个数m和变量个数n，而不依赖于系数aᵢⱼ的数值大小（位数）？

问题表述

对实数模型下的线性不等式组 Ax ≥ b（A为m×n矩阵），是否存在强多项式时间的可行性判定算法？

解决历程

1986年：塔多什（Tardos）证明：若存在强多项式算法解决组合线性规划（系数为0,±1），则一般线性规划也有强多项式算法。这将问题约化到纯组合结构。
1990年代：对网络流（每行恰有两个非零元素±1）等特殊结构，强多项式算法已知（Orlin 2013给出最小费用流的强多项式算法）。
2024年：Dadush、Eisenbrand、Ibrahim和de la Vega证明：当矩阵A的每行或每列至多含两个非零元素时，线性规划有强多项式时间算法。这是向一般情形迈出的重要一步。
一般情形仍然完全开放。

意义

强多项式线性规划算法是理论计算机科学和组合优化的”圣杯”之一。它与多项式层次中的分离问题、组合优化的统一理论深度相关。Smale将之列入清单，体现了他对”计算效率的本质”的持续关注。

状态：未解决（特殊结构已突破）。

第10题：闭合引理（Closing Lemma）

由来与背景

1890年，庞加莱在研究三体问题时发现了”回归定理”（Poincaré Recurrence Theorem）：保体积动力系统中，几乎所有点都会无穷次回到任意小的邻域。这引出了自然的问题：这些”回归”的点能否通过微小扰动变成真正的周期点？

1930年代，伯克霍夫（Birkhoff）和尼米茨基（Nemytskii）等人发展了”非游荡点”（non-wandering point）的概念——比周期点更一般的回归性。闭合引理问的正是：非游荡点能否被”闭合”为周期点？

斯梅尔在1960年代建立结构稳定性理论和Axiom A框架时，闭合引理成为核心工具：若闭合引理成立，则”一般”动力系统的非游荡集由周期轨道组成，从而可以用符号动力学完全描述。

问题表述

设 f 是紧流形 M 上的 Cʳ 微分同胚，p 是 f 的非游荡点。能否找到任意 Cʳ-接近 f 的微分同胚 g，使 p 成为 g 的周期点？

解决历程

1967年：帕夫（Charles Pugh）证明了 C¹ 闭合引理。他的证明技术是”轨道段微扰”：沿非游荡点的回归轨道段，逐步施加微小扰动将轨道”焊接”成闭合回路。C¹ 拓扑下，扰动的累积效应可控。
为何 r > 1 困难：在 C² 或更高光滑性下，沿长轨道段累积的扰动会导致高阶导数失控。Pugh的方法本质上需要”局部化”扰动，而高光滑性要求扰动在更大范围内协调。
1980年代：Gutierrez在二维流形上证明了 C¹ 闭合引理的推广，但高光滑性仍无进展。
2016年：浅冈（Asaoka）和入江（Irie）证明了哈密顿曲面微分同胚的 C^∞ 闭合引理——这是高光滑性情形的第一个重大突破。他们利用了哈密顿系统的辛结构和面积保持性质，绕过了通用情形的技术障碍。
一般流形上 Cʳ（r≥2）闭合引理仍然开放。

意义

闭合引理是连接”拓扑动力学”（非游荡集）与”周期轨道理论”的桥梁。C¹ 情形的证明支撑了Smale的Axiom A理论和结构稳定性分类。高光滑性情形的解决将深刻影响辛拓扑和哈密顿动力学。

状态：部分解决（C¹ 已解决，C^∞ 哈密顿曲面已解决，一般高光滑性开放）。

第11题：一维动力学中的双曲性（Hyperbolicity in 1D Dynamics）

由来与背景

1918年，法图（Fatou）和儒利亚（Julia）独立研究了复有理函数的迭代，开创了复动力系统。对多项式 p(z)，其Julia集上的动力学要么是”双曲的”（所有临界点趋向吸引周期轨道，动力学结构稳定），要么包含复杂的非双曲行为。

“双曲性稠密猜想”（Hyperbolicity Conjecture）断言：在d次复多项式空间中，双曲多项式构成稠密开集。等价地，每个复多项式都可以被双曲多项式任意逼近。

在实数线上，对应的问题是：区间 [0,1] 上的光滑映射是否都能被”双曲映射”（所有临界点趋向吸引周期轨道）逼近？

解决历程

1960年代：Misiurewicz构造了非双曲但无吸引周期轨道的映射（Misiurewicz映射），表明双曲性不是唯一的”好”动力学，但这类映射是否构成障碍尚不清楚。
1980年代：Jakobson证明正测度参数族中存在非双曲行为（如 logistic 映射 x↦ax(1-x) 中 a 接近4时），但”正测度”不等于”稠密”。
1990年代：Lyubich、Graczyk和Świątek等人对实二次映射证明了”正则随机性”（stochastic regularity）：对正测度参数，动力学是双曲或”Collet-Eckmann”的。
2007年：科兹洛夫斯基（Kozlovski）、沈维孝（Shen Weixiao）和范斯特里恩（van Strien）完全证明了实情形——实区间上 C^∞ 映射中，双曲映射在具有负Schwarz导数的映射中稠密。这是实一维动力学的里程碑。
复情形：至今未解决。对二次多项式（Mandelbrot集），双曲性稠密等价于Mandelbrot集的局部连通性（MLC猜想），这是复动力学的核心开放问题。

意义

双曲性稠密意味着”结构稳定的动力学是典型的”——这是Smale结构稳定性哲学在一维的精确化。复情形的解决将统一Julia集理论，并与数论（Mandelbrot集的组合结构）和统计物理（相变类比）产生深刻联系。

状态：实情形已解决（2007），复情形未解决。

第12题：微分同胚的中心化子（Centralizers）

由来与背景

给定一个微分同胚 f: M → M，其”中心化子” C(f) = {g ∈ Diff(M) : g∘f = f∘g} 是所有与 f 交换的微分同胚组成的群。它描述了 f 的”对称性”——C(f) 越大，f 越”对称”。

显然，f 的所有迭代 fⁿ 都在 C(f) 中。问题是：对”一般”的 f，中心化子是否恰好就是 {fⁿ : n ∈ Z}？即一般微分同胚是否没有非平凡对称性？

这个问题源于斯梅尔对动力系统”一般性质”（generic properties）的研究纲领。在拓扑学中，”一般”通常指在Baire范畴意义下的剩余集（residual set，即可数个稠密开集的交）。

解决历程

1970年代：Smale提出此猜想。对特殊系统（如Anosov微分同胚），中心化子的结构已有部分理解。
2009年：博纳蒂（Bonatti）、克鲁瓦齐耶（Crovisier）和威尔金森（Wilkinson）证明了 C¹ 情形：在紧流形的 C¹ 微分同胚空间中，中心化子平凡的映射构成剩余集。

他们的证明利用了”连接引理”（connecting lemma）的强化版本：通过 C¹ 小扰动可以将轨道段”粘合”，从而破坏任何潜在的额外对称性。关键技术是证明：若 g 与 f 交换且 g 不是 f 的迭代，则可以通过扰动 f 使 g 不再与扰动后的 f 交换。
r > 1 的情形：仍然开放。高光滑性下，连接引理的扰动技术失效（与闭合引理的困难类似），且存在刚性现象——某些 C^∞ 系统（如KAM环面）具有不可破坏的对称性。

意义

中心化子问题本质上是问”动力系统的对称性是否罕见”。C¹ 的肯定回答支持了”一般动力系统没有隐藏结构”的哲学。高光滑性情形的解决将涉及刚性理论与一般性理论的深刻交互。

状态：C¹ 已解决（2009），高光滑性开放。

第13题：希尔伯特第16题——极限环（Limit Cycles）

由来与背景

1900年，希尔伯特在第16题的第二部分问：平面多项式向量场

dx/dt = P(x,y), dy/dt = Q(x,y)

（P, Q 为次数 ≤ d 的实多项式）的极限环（孤立闭轨道）个数是否有仅依赖于 d 的上界？

极限环是非线性动力系统中最基本的对象之一——它对应自持振荡（如心脏跳动、电路振荡、生态周期）。庞加莱在1881年的开创性论文中引入了极限环概念，并证明了平面系统极限环的有限性（对固定系统）。但”对所有d次系统，极限环个数是否有统一上界”是远为困难的问题。

解决历程

1923年：杜拉克（Henri Dulac）声称证明了极限环个数有限（对固定系统）。他的证明使用了”杜拉克判据”和渐近展开。
1980年代：伊利亚申科（Ilyashenko）和埃卡勒（Écalle）独立发现杜拉克的证明有严重缺陷——渐近展开的收敛性论证有误。
1991–1992年：伊利亚申科和埃卡勒分别独立给出了正确的有限性证明（对固定多项式系统，极限环个数有限）。但他们的证明是”非有效的”——不给出个数上界。
H(d) 的定量估计：设 H(d) 为d次系统极限环个数的最大值。已知：
- H(1) = 0（线性系统无极限环）
- H(2) ≥ 4（已构造出4个极限环的二次系统），上界估计在数十到数百之间，精确值未知。
- 对一般d，已知 H(d) 有限但无有效上界。
斯梅尔的量化版本：H(d) ≤ d^q 对某个普适常数 q？这比单纯有限性强得多。

意义

希尔伯特第16题是”最古老的未解决数学问题”之一（与黎曼假设同龄）。它连接了微分方程、代数几何（多项式向量场的奇点理论）和分歧理论。定量版本的解决将给出非线性振荡的根本性限制。

状态：未解决（有限性已知，定量上界开放）。

第14题：洛伦兹吸引子（Lorenz Attractor）

由来与背景

1963年，MIT气象学家爱德华·洛伦兹（Edward Lorenz）在研究大气对流的简化模型时，用计算机数值求解了方程组：

dx/dt = σ(y-x), dy/dt = x(ρ-z)-y, dz/dt = xy-βz

取经典参数 σ=10, β=8/3, ρ=28 时，他观察到一个”蝴蝶形”的奇异吸引子——轨迹永不重复、永不闭合，却永远被困在一个有限区域内，且对初值极端敏感（”蝴蝶效应”）。这是混沌理论的诞生时刻。

然而，数值模拟不是数学证明。1979年，威廉姆斯（Williams）、古肯海默（Guckenheimer）和约克（Yorke）给出了”几何洛伦兹吸引子”的严格数学模型——一个具有奇异点的三维流，其拓扑和动力学性质可以被完全描述。

斯梅尔的问题是：洛伦兹的原始微分方程（在经典参数下）是否严格展现了与几何模型等价的行为？即数值观察到的”混沌”是否是数学事实，而非计算伪影？

解决历程

1963年：洛伦兹的数值发现。
1979年：Williams-Guckenheimer-Yorke建立几何洛伦兹模型，给出严格的拓扑描述（”洛伦兹吸引子”的数学定义）。
1980–90年代：大量数值证据支持两者一致，但缺乏严格证明。困难在于：经典参数下的洛伦兹方程没有解析解，传统定性方法（如Lyapunov函数）不足以处理如此复杂的全局动力学。
2002年：澳大利亚数学家沃里克·塔克（Warwick Tucker）完成了严格证明。他的方法是”严格计算”（rigorous computation / validated numerics）的典范：
1. 利用区间算术（interval arithmetic）——每个数值计算都带有严格的误差界，而非浮点近似。
2. 构造一个”截面”（Poincaré section），将连续流约化为离散映射。
3. 用区间牛顿法严格验证映射满足几何洛伦兹模型的全部拓扑条件（锥条件、膨胀性等）。
4. 全部计算由计算机执行，但每一步都有数学上可验证的误差控制。
塔克的博士论文（2000年，乌普萨拉大学）和2002年的正式论文确立了”计算机辅助证明”在动力系统领域的合法性。

意义

此问题的解决有两重意义：(1) 确认了混沌理论最著名范例的数学严格性；(2) 开创了”严格数值方法”在动力系统中的应用范式——此后，计算机不再只是”发现工具”，而是”证明工具”。这对数学方法论有深远影响。

状态：已解决（2002）。

第15题：纳维-斯托克斯方程（Navier-Stokes Equations）

由来与背景

1822年，法国工程师纳维（Navier）在欧拉方程中加入粘性项，得到描述不可压缩粘性流体的方程组：

∂u/∂t + (u·∇)u = -∇p + νΔu, ∇·u = 0

1845年，斯托克斯（Stokes）独立给出了更严格的推导。这组方程是流体力学的基本方程，描述了从水管流动到大气环流到血液运动的一切粘性流体现象。

二维情形下，全局光滑解的存在唯一性在1960年代已由Leray和Ladyzhenskaya等人完全解决。但三维情形——物理上真正相关的情形——至今未解决。核心困难在于：非线性项 (u·∇)u 可能导致涡量在有限时间内无限集中（”爆破”），而粘性扩散项 νΔu 能否阻止这种集中，是未知的。

解决历程

1934年：勒雷（Jean Leray）证明三维弱解的全局存在性（Leray-Hopf弱解），但弱解的唯一性和光滑性未知。勒雷本人怀疑光滑解可能在有限时间爆破。
1962年：塞林（Serrin）给出正则性判据：若解满足 u ∈ L^p(0,T; L^q) 且 2/p + 3/q ≤ 1（q>3），则解光滑。这给出了”如果解不太大，则解光滑”的条件，但不能排除解变大的可能。
1982年：卡法雷利（Caffarelli）、科恩（Kohn）和尼伦伯格（Nirenberg）证明”部分正则性”——三维弱解的奇点集（若存在）的一维Hausdorff测度为零。即奇点即使存在，也极其稀少。
2016年：陶哲轩（Terence Tao）证明了一个”平均化”版本的纳维-斯托克斯方程可以在有限时间爆破——这为原始方程的爆破可能性提供了”概念性证据”，但不是原始方程的爆破。
2019年：陶哲轩进一步分析了”超临界”障碍——现有方法为何原则上无法解决此问题。
核心问题完全开放：既无人证明全局光滑解存在，也无人构造爆破例子。

意义

纳维-斯托克斯问题是千禧年七大难题之一（悬赏100万美元）。它不仅是纯数学问题，更直接关系到对”湍流”这一物理学最后未解之谜的理解。Kolmogorov 1941年的湍流理论假设了某种统计自相似性，其数学基础正是纳维-斯托克斯解的正则性。

状态：未解决。

第16题：雅可比猜想（Jacobian Conjecture）

由来与背景

1939年，德国数学家凯勒（Ott-Heinrich Keller）提出一个看似简单的猜想：

设 F: Cⁿ → Cⁿ 是多项式映射（每个分量都是多项式），若其雅可比行列式 det(∂Fᵢ/∂xⱼ) 恒为非零常数，则 F 是否为多项式自同构（即存在多项式逆映射 F⁻¹）？

直觉上，雅可比行列式非零意味着 F 是局部微分同胚（逆函数定理），而”常数”条件似乎应该保证全局可逆且逆也是多项式。但证明这一点极其困难。

此猜想与代数几何、交换代数、李理论深度交织：

等价于”多项式映射的单射性蕴含满射性”（在雅可比常数条件下）。
与 Dixmier 猜想（关于Weyl代数的自同态）等价（Tsuchimoto 2005, Belov-Kanel–Kontsevich 2007）。
Bass-Connell-Wright（1982）证明：只需对三次齐次映射（F = x + H, H为三次齐次）验证即可。

张益唐与雅可比猜想

张益唐（Yitang Zhang）在博士期间（1985–1992，普渡大学）在导师莫宗坚指导下研究雅可比猜想。据广泛报道，他在此问题上投入了约7年精力，博士论文声称解决了该猜想，但其中引用的一个引理后来被发现有问题，论文未被接受。这段经历导致张益唐毕业后长期无法获得学术职位，直到2013年以孪生素数猜想的工作一鸣惊人。

2026年：AI构造反例

2026年，Anthropic公司的AI系统 Fable 5 构造了三维情形的反例——一个多项式映射 F: C³ → C³，其雅可比行列式恒为非零常数，但 F 不是多项式自同构。随后：

Alpöge（2026）独立验证了该反例的正确性，并给出了简化的验证计算。
Zhang（2026）也独立确认了反例。

反例的核心思想（据公开报道）涉及精心构造的三次多项式，其逆映射存在（作为解析映射）但不是多项式——即逆映射包含不可消除的分式结构。

这意味着雅可比猜想在 n ≥ 3 时被彻底否定。二维情形（n=2）仍然开放——事实上，二维情形从未被归约到三维，它有独立的代数结构。

意义

雅可比猜想的否定是2026年数学界最重大的事件之一，不仅因为猜想本身的历史地位（87年未决），更因为反例是由AI系统率先构造的。这标志着人工智能在数学发现中的角色从”辅助验证”跃升为”原创性构造”，对数学方法论和AI能力评估都有深远影响。

状态：n ≥ 3 已被否定（2026），n = 2 仍开放。

第17题：求解多项式方程组（Solving Polynomial Equations）

由来与背景

求解多项式方程组是数学最古老的问题之一。一次和二次方程有公式解，三次和四次也有（Cardano, Ferrari, 16世纪），五次以上无根式解（Abel-Galois, 1820年代）。但”无根式解”不等于”无近似解”——数值方法（如牛顿法）可以逼近零点。

斯梅尔在1980–90年代发展了”α理论”（alpha-theory）：给定一个多项式系统 f 和一个初始点 x₀，α(f, x₀) 是一个可计算的量，若 α < α₀ ≈ 0.157，则牛顿法从 x₀ 出发保证二次收敛到零点。这将”牛顿法是否收敛”变成了可先验判定的问题。

斯梅尔的第17题问的是平均复杂性：对”随机”的n元n个多项式方程组，能否在多项式时间内找到一个近似零点？

解决历程

1980年代：Smale建立α理论和条件数框架，将问题精确化。
1990年代：Shub和Smale发展了”同伦延拓法”（homotopy continuation）：从一个已知解的简单系统出发，沿路径连续变形到目标系统，跟踪解的轨迹。关键问题是路径跟踪的步数（条件数的积分）。
2008年：贝尔特兰（Beltrán）和帕尔多（Pardo）给出了随机化算法：随机选择起始系统和路径，证明平均路径长度为多项式。这完全解决了斯梅尔第17题的随机化版本。
2011年：比尔吉塞尔（Bürgisser）和库克（Cucker）给出了平均复杂性的精确估计，并证明了条件数的概率分布。
2017年：莱雷（Lairez）给出了完全确定性的多项式时间算法，不需要任何随机性。他的技术是利用”刚性方法”（rigid continuation path）——选择使条件数积分最小的路径，并证明该路径可高效计算。

意义

第17题是斯梅尔清单中”计算数学”精神的集中体现。它的完全解决（从随机化到确定性）是平均复杂性理论的里程碑，也验证了同伦延拓法作为多项式系统求解通用工具的理论基础。在实践中，同伦延拓法（如Bertini、PHCpack等软件）已成为代数几何和工程应用中的标准工具。

状态：已解决（随机化2008，确定性2017）。

第18题：智能的极限（Limits of Intelligence）

由来与背景

这不是一个具体的数学猜想，而是一个跨学科研究纲领。斯梅尔对计算理论的基础问题有持久兴趣——他的BSS模型（1989年，与Blum和Shub合作）试图为实数计算建立与图灵机对等的严格框架，追问”在连续世界中，什么是可计算的？”

第18题将这种追问推向极致：能否建立形式化模型来严格比较机器智能与人类智能？斯梅尔列出了多个维度：

问题求解能力：机器能否解决人类不能解决的问题？反之？
计算模型：图灵机（离散）vs BSS机（连续）vs 量子计算——哪个是”正确”的智能模型？
近似与舍入：真实计算中不可避免有误差，这对智能的定义有何影响？
随机性：随机算法是否比确定性算法”更聪明”？
复杂性：计算资源（时间、空间）的限制如何界定智能的边界？
学习：能否形式化”从经验中学习”的能力？（PAC学习理论，Valiant 1984）
环境交互：智能是否本质上需要与环境的持续交互（具身认知）？

解决进展与当代意义

作为纲领，此问题没有”解决”或”未解决”的二元状态。但2020年代AI的飞速发展使其从纯哲学思辨变为可实证检验的科学问题：

2026年：AI系统 Fable 5 构造了雅可比猜想的反例（第16题），首次展示了机器在原创性数学构造上超越人类的能力——这直接回应了第18题中”机器能否解决人类不能解决的问题”。
大语言模型：展示了模式识别和类比推理的强大能力，但在严格逻辑推理和真正”理解”上仍有争议。
AlphaFold/AlphaProof：在蛋白质结构预测和数学奥林匹克题目上展示了特定领域的超人能力。
理论层面：PAC学习理论、算法信息论（Kolmogorov复杂度）、和计算学习理论为”学习”提供了部分形式化，但统一的”智能度量”仍不存在。

意义

第18题是斯梅尔清单中最具前瞻性的问题。在AI时代，它不再是抽象的哲学追问，而是关乎”人类在智能谱系中的位置”的根本性问题。斯梅尔将之列入数学问题清单，体现了他对数学作为”理解世界的统一语言”的信念。

状态：作为研究纲领开放，但AI进展使其日益可实证化。

总结

状态	问题编号	关键人物/年份
已解决	2（庞加莱猜想）	Perelman, 2003
已解决	14（洛伦兹吸引子）	Tucker, 2002
已解决	17（多项式方程求解）	Beltrán-Pardo 2008, Lairez 2017
部分解决	6（相对平衡）	Hampton-Moeckel 2006, Albouy-Kaloshin 2012
部分解决	10（闭合引理）	Pugh 1967 (C¹), Asaoka-Irie 2016
部分解决	11（一维双曲性）	Kozlovski-Shen-van Strien 2007 (实)
部分解决	12（中心化子）	Bonatti-Crovisier-Wilkinson 2009 (C¹)
部分解决	16（雅可比猜想）	Fable 5 / Alpöge 2026 (n≥3否定)
未解决	1（黎曼假设）	—
未解决	3（P vs NP）	—
未解决	4（τ猜想）	—
未解决	5（高度界）	—
未解决	7（球面点分布）	—
未解决	8（经济动力学）	—
未解决	9（强多项式LP）	Dadush et al. 2024 (特殊结构)
未解决	13（极限环）	—
未解决	15（Navier-Stokes）	—
未解决	18（智能极限）	—

斯梅尔问题清单与希尔伯特问题（1900）、千禧年难题（2000）共同构成了现代数学的”问题地图”。18题中仅3题完全解决，反映了21世纪数学问题的深刻难度。而第16题由AI率先否定，则预示着数学发现方式本身正在经历范式转变。

Written on July 23, 2026

分类： dev，标签： math

如果你喜欢，请赞赏！ davelet