七大千禧年大奖难题（Millennium Prize Problems）

2000年5月24日，美国克雷数学研究所（CMI） 在巴黎公布7个顶尖数学未解难题，每道题奖金100万美元。截至2026年，只有庞加莱猜想被证明，其余6题仍悬而未决。

获奖规则：论文发表在权威同行评审期刊，经过至少两年学术界检验，最终由克雷研究所认定。

1. P对NP问题（P vs NP）

领域：计算复杂性理论、计算机科学
通俗描述：
一个问题，如果它的答案可以快速验证（多项式时间，NP），那么它是否一定可以快速求解（多项式时间，P）？

• P：能在多项式时间内直接找到解的问题；
• NP：给一个候选答案，能在多项式时间内判断对错的问题。

意义：
若证明 P=NP，大量现在难以计算的问题（旅行商、蛋白质折叠、密码破解）都存在高效算法；现代密码体系根基会动摇。
若证明 P≠NP，意味着很多问题本质上不存在快速算法，计算复杂度存在不可跨越的边界。
目前主流猜想：P≠NP。

2. 霍奇猜想（Hodge Conjecture）

领域：代数几何、拓扑
通俗描述：
在一类特殊的复几何空间（复射影代数簇）中，霍奇闭链是否都可以分解成代数闭链的有理线性组合。

简单理解：几何上某些由“拓扑方式”定义的子空间，是否一定能用代数方程定义出来。
特点：七大难题里最抽象的一个，连接拓扑与代数几何，对现代代数几何基础至关重要。

3. 庞加莱猜想（Poincaré Conjecture，✅已解决）

领域：拓扑学（三维流形）
原猜想：任何紧致、无边界、单连通的三维闭流形，一定同胚于三维球面。

单连通：空间内部没有“洞”，任意闭合曲线都可以连续收缩成一个点。

历史：
俄罗斯数学家 格里戈里·佩雷尔曼（Grigori Perelman） 在2002–2003年发表论文，用理查德·哈密顿提出的里奇流（Ricci flow）完成证明。2010年克雷研究所认定证明成立，授予奖金，但佩雷尔曼拒绝奖金与菲尔兹奖。

这是千禧年七大难题里唯一被解决的一题。

4. 黎曼猜想（Riemann Hypothesis）

领域：解析数论
核心命题：黎曼ζ函数 \(\zeta(s)\) 的所有非平凡零点，实部全部等于 \(\boldsymbol{\frac12}\)，都落在复平面上的“临界线”。

意义：
ζ函数零点分布直接决定素数分布规律。如果成立，大量数论猜想将升级为定理；对素数估算、密码学都有巨大影响。

希尔伯特23问之一，数学界最著名猜想。目前已经验证了海量非平凡零点都落在临界线上，但缺少严格数学证明。

5. 杨-米尔斯存在性与质量缺口（Yang–Mills Existence and Mass Gap）

领域：数学物理、量子场论
背景：杨-米尔斯理论是粒子物理标准模型的数学基础（描述强相互作用、弱相互作用），物理学家大量使用，但缺少严格数学框架。

命题：
对任意紧致单规范群G，证明四维时空上的量子杨-米尔斯理论存在，并且具有质量缺口（mass gap）：真空态与最低激发态之间存在严格大于0的能量差。

通俗理解：为什么传递强相互作用的胶子没有静质量，而夸克束缚形成的强子（质子、中子）却有质量，存在最低能量门槛。

这是纯物理现象背后的数学严格化问题。

6. 纳维-斯托克斯方程解的存在性与光滑性（Navier–Stokes Existence and Smoothness）

领域：偏微分方程、流体力学
纳维-斯托克斯（NS）方程描述粘性流体（水、空气）的流动。

问题：给定光滑、快速衰减的初始速度场，三维NS方程是否在全部时间上，都存在唯一、光滑、有限能量的解；还是会在有限时间内出现爆破（blowup）：速度趋向无穷大。

通俗：流体会不会在某个时刻，局部流速无限大。

湍流本质难题。目前二维NS方程已经证明存在光滑解；三维是巨大开放问题。

7. 贝赫和斯维讷通-戴尔猜想（Birch and Swinnerton-Dyer Conjecture，BSD猜想）

领域：数论、椭圆曲线
对象：有理数域上的椭圆曲线 y²=x³+ax+b。

猜想：椭圆曲线的L函数在\(\(s=1\)\)处的零点阶数，等于该椭圆曲线有理点构成的群的秩。

• 秩：椭圆曲线上独立有理点的最大个数；
• L函数：类似黎曼ζ函数，编码椭圆曲线的算术信息。

意义：椭圆曲线是现代数论核心（怀尔斯证明费马大定理就用到椭圆曲线）。BSD猜想揭示椭圆曲线有理点数量与解析L函数的深刻联系。
目前只在部分特殊情形下得到验证，一般情况未证明。

总览表

如果你需要，我可以单独挑某一题，给你更精简的通俗版本，或者纯数学形式化陈述。