1900年，大卫·希尔伯特在巴黎国际数学家大会上提出了23个问题，深刻塑造了20世纪数学的研究方向。近一个世纪后的1998年，国际数学联盟（IMU）委托菲尔兹奖得主斯蒂芬·斯梅尔（Stephen Smale, 1930–）为《Mathematics: Frontiers and Perspectives》一书撰写一份面向21世纪的问题清单。斯梅尔于2000年正式发表了18个问题，涵盖纯数学、动力系统、计算复杂性、数学物理和经济学等领域。
斯梅尔本人是微分拓扑与动力系统的奠基人之一：他证明了高维庞加莱猜想（n≥5，1961年菲尔兹奖工作）、建立了结构稳定性理论和马蹄映射、开创了全局分析。他的问题清单带有鲜明的个人印记——既有经典纯数学猜想，也有他毕生关注的动力系统问题，还纳入了计算理论和经济学等跨学科议题，体现了他对"数学统一性"的信念。
截至2026年，18题中3题完全解决，5题部分解决，10题仍然开放。
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等公钥密码体系的安全性虽不直接依赖黎曼假设，但素数分布的精确知识影响密码参数选择的理论基础。
黎曼假设是千禧年七大难题之一（悬赏100万美元），也是希尔伯特第8问题的一部分。它与朗道-西格尔零点问题、广义黎曼假设（GRH，推广到所有L函数）、函数域上的韦伊猜想（已由韦伊1948年证明）形成庞大的"零点分布"理论族。德利涅（Deligne）证明韦伊猜想时使用的ℓ进上同调方法，至今未能移植到经典黎曼假设。
状态：未解决。
1900年，亨利·庞加莱（Henri Poincaré）在《Analysis Situs》系列论文的第三篇中提出了一个拓扑学基本问题：如何刻画三维球面 S³？他最初以为"同调群与 S³ 相同"就足以刻画，但1904年他自己构造了反例（庞加莱同调球），于是修正问题为：
任何单连通的闭三维流形是否同胚于 S³？
"单连通"意味着所有闭合曲线可以连续收缩为一点。在二维， analogous 命题（单连通闭曲面必为 S²）是经典定理。高维情形（n≥5）由斯梅尔1961年用h-配边定理证明（获1966年菲尔兹奖），四维由弗里德曼（Freedman）1982年证明（获1986年菲尔兹奖）。唯独三维情形最为困难，因为低维拓扑中"空间不够"——高维中可用的"一般位置"技巧在三维失效。
庞加莱猜想的解决不仅终结了拓扑学百年悬案，更重要的是佩雷尔曼证明了完整的瑟斯顿几何化猜想，为三维流形提供了完整的分类框架。里奇流方法深刻影响了微分几何、广义相对论和数学物理。
状态：已解决（2003）。
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（多数学者相信如此），则这些困难是本质性的，不可逾越。
P vs NP 是千禧年七大难题之一，也是理论计算机科学的核心开放问题。它连接了逻辑、代数、组合、密码学和人工智能的基础。
状态：未解决。
此问题源于斯梅尔对"实数计算复杂性"的长期思考。1989年，布鲁姆（Blum）、舒布（Shub）和斯梅尔（Smale）提出了BSS计算模型——在实数域上以单位代价执行算术运算的图灵机，作为经典比特模型的连续类比。
在此框架下，一个整系数多项式 f ∈ Z[t] 的"直线程序复杂性" τ(f) 定义为：从常数 0 和 1 出发，用加、减、乘运算计算 f 所需的最少步数。τ(f) 衡量的是 f 的"算术复杂度"。
斯梅尔问：f 的不同整数零点个数能否被 τ(f) 的某个多项式所控制？
若此猜想成立，将给出整数多项式求根的根本性限制——算术复杂度低的多项式不可能有太多整数根。它与以下问题深度交织：
至今未解决。已知的部分结果包括：对特殊形式的多项式（如稀疏多项式、分圆多项式）可以验证猜想成立，但一般情形缺乏有效工具。
状态：未解决。
希尔伯特第十问题（1900年提出）问：是否存在通用算法判定任意丢番图方程是否有整数解？1970年，马季亚谢维奇（利用Davis-Putnam-Robinson的前序工作）给出否定回答——不存在这样的通用算法。
但对于两个变量的方程 f(x,y) = 0（即代数曲线），情况可能不同。根据曲线的亏格（genus），解的结构有本质差异：
斯梅尔的问题是：对正亏格曲线，最小整数解的"高度"（max(|x|,|y|) 的对数）能否被方程编码长度的多项式所控制？若能，则存在指数时间算法判定 f(x,y)=0 是否有整数解。
此问题处于"可计算性"与"有效性"的交汇处：我们知道解有限（法尔廷斯），但不知道有限到什么程度。它连接了算术几何、超越数论和计算复杂性。
状态：未解决。
1687年，牛顿在《自然哲学的数学原理》中解决了二体问题。三体问题则成为此后三百年的数学挑战。1767年，欧拉（Euler）发现三体共线构型；1772年，拉格朗日（Lagrange）发现等边三角形构型——这些就是"相对平衡"：在随系统匀速旋转的参考系中，所有天体保持静止。
更一般地，"中心构型"（central configuration）是指加速度向量与位置向量成比例的n体构型，每个中心构型对应一个相对平衡。1970年，斯梅尔在国际数学家大会（ICM）的报告中将"中心构型的有限性"列为重要的开放问题。
对所有正质量 m₁,...,mₙ，平面n体问题的相对平衡构型（模去旋转、平移和缩放对称性）是否有限？
此问题连接了经典力学、代数几何（构型空间是代数簇）和变分法。在应用层面，相对平衡对应航天器轨道设计中的"平动点"（如日-地系统的L1-L5拉格朗日点），也是理解分子构型（如原子团簇）的数学基础。
状态：部分解决（n≤5基本完成，一般n开放）。
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无关的普适常数）？
此问题连接了位势理论、数值分析（球面求积公式）、编码理论（球面码）和计算几何。在应用中，球面均匀分布用于全球气候网格、卫星星座设计和计算机图形学。
状态：未解决。
1954年，阿罗（Arrow）和德布鲁（Debreu）用不动点定理证明了一般均衡的存在性——在完全竞争市场中，存在一组价格使所有市场同时出清。这是20世纪经济学的最高成就之一（阿罗1972年、德布鲁1983年获诺贝尔经济学奖）。
然而，阿罗-德布鲁理论本质上是静态的：它只说均衡存在，不说价格如何到达均衡。瓦尔拉斯（Walras）在19世纪提出的"试探过程"（tâtonnement）——价格按超额需求方向调整——是最自然的动态模型，但其收敛性极难保证。
1970年代，索南沙因（Sonnenschein）、曼特尔（Mantel）和德布鲁证明了"索南沙因-曼特尔-德布鲁定理"（SMD定理）：任何满足连续性和瓦尔拉斯律的函数都可以是某个经济的超额需求函数。这意味着一般均衡理论对价格调整动力学几乎没有施加任何限制——"anything goes"。
斯梅尔本人从1976年起研究价格调整的动力系统方法，试图用微分方程和稳定性理论为经济动力学建立严格基础。
能否将静态一般均衡理论扩展为完整的价格调整动力学理论——描述多市场价格如何随时间演化并趋向均衡，最好从单个经济主体的行为出发推导？
此问题处于数学（动力系统、微分方程）与经济学（一般均衡、机制设计）的交汇处。它追问的是：均衡不仅是存在的，而且是"可达的"吗？这对理解真实市场的价格形成机制有根本意义。
状态：作为研究纲领仍然开放。
1947年，丹齐格（George Dantzig）发明单纯形法（Simplex Method），开创了线性规划乃至整个运筹学。单纯形法在实践中极其高效，但1972年Klee和Minty构造了"Klee-Minty立方体"，证明单纯形法在最坏情况下需要指数时间（2ⁿ步）。
这引发了根本性问题：线性规划是否存在多项式时间算法？
但斯梅尔问的是更强的问题：是否存在"强多项式"算法——运算次数仅依赖于约束个数m和变量个数n，而不依赖于系数aᵢⱼ的数值大小（位数）？
对实数模型下的线性不等式组 Ax ≥ b（A为m×n矩阵），是否存在强多项式时间的可行性判定算法？
强多项式线性规划算法是理论计算机科学和组合优化的"圣杯"之一。它与多项式层次中的分离问题、组合优化的统一理论深度相关。Smale将之列入清单，体现了他对"计算效率的本质"的持续关注。
状态：未解决（特殊结构已突破）。
1890年，庞加莱在研究三体问题时发现了"回归定理"（Poincaré Recurrence Theorem）：保体积动力系统中，几乎所有点都会无穷次回到任意小的邻域。这引出了自然的问题：这些"回归"的点能否通过微小扰动变成真正的周期点？
1930年代，伯克霍夫（Birkhoff）和尼米茨基（Nemytskii）等人发展了"非游荡点"（non-wandering point）的概念——比周期点更一般的回归性。闭合引理问的正是：非游荡点能否被"闭合"为周期点？
斯梅尔在1960年代建立结构稳定性理论和Axiom A框架时，闭合引理成为核心工具：若闭合引理成立，则"一般"动力系统的非游荡集由周期轨道组成，从而可以用符号动力学完全描述。
设 f 是紧流形 M 上的 Cʳ 微分同胚，p 是 f 的非游荡点。能否找到任意 Cʳ-接近 f 的微分同胚 g，使 p 成为 g 的周期点？
闭合引理是连接"拓扑动力学"（非游荡集）与"周期轨道理论"的桥梁。C¹ 情形的证明支撑了Smale的Axiom A理论和结构稳定性分类。高光滑性情形的解决将深刻影响辛拓扑和哈密顿动力学。
状态：部分解决（C¹ 已解决，C^∞ 哈密顿曲面已解决，一般高光滑性开放）。
1918年，法图（Fatou）和儒利亚（Julia）独立研究了复有理函数的迭代，开创了复动力系统。对多项式 p(z)，其Julia集上的动力学要么是"双曲的"（所有临界点趋向吸引周期轨道，动力学结构稳定），要么包含复杂的非双曲行为。
"双曲性稠密猜想"（Hyperbolicity Conjecture）断言：在d次复多项式空间中，双曲多项式构成稠密开集。等价地，每个复多项式都可以被双曲多项式任意逼近。
在实数线上，对应的问题是：区间 [0,1] 上的光滑映射是否都能被"双曲映射"（所有临界点趋向吸引周期轨道）逼近？
双曲性稠密意味着"结构稳定的动力学是典型的"——这是Smale结构稳定性哲学在一维的精确化。复情形的解决将统一Julia集理论，并与数论（Mandelbrot集的组合结构）和统计物理（相变类比）产生深刻联系。
状态：实情形已解决（2007），复情形未解决。
给定一个微分同胚 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），高光滑性开放。
1900年，希尔伯特在第16题的第二部分问：平面多项式向量场
dx/dt = P(x,y), dy/dt = Q(x,y)
（P, Q 为次数 ≤ d 的实多项式）的极限环（孤立闭轨道）个数是否有仅依赖于 d 的上界？
极限环是非线性动力系统中最基本的对象之一——它对应自持振荡（如心脏跳动、电路振荡、生态周期）。庞加莱在1881年的开创性论文中引入了极限环概念，并证明了平面系统极限环的有限性（对固定系统）。但"对所有d次系统，极限环个数是否有统一上界"是远为困难的问题。
希尔伯特第16题是"最古老的未解决数学问题"之一（与黎曼假设同龄）。它连接了微分方程、代数几何（多项式向量场的奇点理论）和分歧理论。定量版本的解决将给出非线性振荡的根本性限制。
状态：未解决（有限性已知，定量上界开放）。
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）的典范：
塔克的博士论文（2000年，乌普萨拉大学）和2002年的正式论文确立了"计算机辅助证明"在动力系统领域的合法性。
此问题的解决有两重意义：(1) 确认了混沌理论最著名范例的数学严格性；(2) 开创了"严格数值方法"在动力系统中的应用范式——此后，计算机不再只是"发现工具"，而是"证明工具"。这对数学方法论有深远影响。
状态：已解决（2002）。
1822年，法国工程师纳维（Navier）在欧拉方程中加入粘性项，得到描述不可压缩粘性流体的方程组：
∂u/∂t + (u·∇)u = -∇p + νΔu, ∇·u = 0
1845年，斯托克斯（Stokes）独立给出了更严格的推导。这组方程是流体力学的基本方程，描述了从水管流动到大气环流到血液运动的一切粘性流体现象。
二维情形下，全局光滑解的存在唯一性在1960年代已由Leray和Ladyzhenskaya等人完全解决。但三维情形——物理上真正相关的情形——至今未解决。核心困难在于：非线性项 (u·∇)u 可能导致涡量在有限时间内无限集中（"爆破"），而粘性扩散项 νΔu 能否阻止这种集中，是未知的。
纳维-斯托克斯问题是千禧年七大难题之一（悬赏100万美元）。它不仅是纯数学问题，更直接关系到对"湍流"这一物理学最后未解之谜的理解。Kolmogorov 1941年的湍流理论假设了某种统计自相似性，其数学基础正是纳维-斯托克斯解的正则性。
状态：未解决。
1939年，德国数学家凯勒（Ott-Heinrich Keller）提出一个看似简单的猜想：
设 F: Cⁿ → Cⁿ 是多项式映射（每个分量都是多项式），若其雅可比行列式 det(∂Fᵢ/∂xⱼ) 恒为非零常数，则 F 是否为多项式自同构（即存在多项式逆映射 F⁻¹）？
直觉上，雅可比行列式非零意味着 F 是局部微分同胚（逆函数定理），而"常数"条件似乎应该保证全局可逆且逆也是多项式。但证明这一点极其困难。
此猜想与代数几何、交换代数、李理论深度交织：
张益唐（Yitang Zhang）在博士期间（1985–1992，普渡大学）在导师莫宗坚指导下研究雅可比猜想。据广泛报道，他在此问题上投入了约7年精力，博士论文声称解决了该猜想，但其中引用的一个引理后来被发现有问题，论文未被接受。这段经历导致张益唐毕业后长期无法获得学术职位，直到2013年以孪生素数猜想的工作一鸣惊人。
2026年，Anthropic公司的AI系统 Fable 5 构造了三维情形的反例——一个多项式映射 F: C³ → C³，其雅可比行列式恒为非零常数，但 F 不是多项式自同构。随后：
反例的核心思想（据公开报道）涉及精心构造的三次多项式，其逆映射存在（作为解析映射）但不是多项式——即逆映射包含不可消除的分式结构。
这意味着雅可比猜想在 n ≥ 3 时被彻底否定。二维情形（n=2）仍然开放——事实上，二维情形从未被归约到三维，它有独立的代数结构。
雅可比猜想的否定是2026年数学界最重大的事件之一，不仅因为猜想本身的历史地位（87年未决），更因为反例是由AI系统率先构造的。这标志着人工智能在数学发现中的角色从"辅助验证"跃升为"原创性构造"，对数学方法论和AI能力评估都有深远影响。
状态：n ≥ 3 已被否定（2026），n = 2 仍开放。
求解多项式方程组是数学最古老的问题之一。一次和二次方程有公式解，三次和四次也有（Cardano, Ferrari, 16世纪），五次以上无根式解（Abel-Galois, 1820年代）。但"无根式解"不等于"无近似解"——数值方法（如牛顿法）可以逼近零点。
斯梅尔在1980–90年代发展了"α理论"（alpha-theory）：给定一个多项式系统 f 和一个初始点 x₀，α(f, x₀) 是一个可计算的量，若 α < α₀ ≈ 0.157，则牛顿法从 x₀ 出发保证二次收敛到零点。这将"牛顿法是否收敛"变成了可先验判定的问题。
斯梅尔的第17题问的是平均复杂性：对"随机"的n元n个多项式方程组，能否在多项式时间内找到一个近似零点？
第17题是斯梅尔清单中"计算数学"精神的集中体现。它的完全解决（从随机化到确定性）是平均复杂性理论的里程碑，也验证了同伦延拓法作为多项式系统求解通用工具的理论基础。在实践中，同伦延拓法（如Bertini、PHCpack等软件）已成为代数几何和工程应用中的标准工具。
状态：已解决（随机化2008，确定性2017）。
这不是一个具体的数学猜想，而是一个跨学科研究纲领。斯梅尔对计算理论的基础问题有持久兴趣——他的BSS模型（1989年，与Blum和Shub合作）试图为实数计算建立与图灵机对等的严格框架，追问"在连续世界中，什么是可计算的？"
第18题将这种追问推向极致：能否建立形式化模型来严格比较机器智能与人类智能？斯梅尔列出了多个维度：
作为纲领，此问题没有"解决"或"未解决"的二元状态。但2020年代AI的飞速发展使其从纯哲学思辨变为可实证检验的科学问题：
第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率先否定，则预示着数学发现方式本身正在经历范式转变。
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。