大问题

19世纪

1. 1859
   黎曼猜想算术与数论, 分析学. zeta 函数编码了素数的分布:它的零点控制着素数计数函数 $\pi(x)$ 中的误差项。1859年,黎曼注意到他所能算出的所有非平凡零点都落在临界线 $\mathrm{Re}(s)=\tfrac12$ 上,并猜想这总是成立。若能证明,将给出素数定理最强的形式;已有数十亿个零点经数值验证均落在该直线上,但至今没有证明或反例。它是克雷数学研究所七个千禧年大奖难题之一。千禧年希尔伯特 #8未解决
2. 1878
   连续统假设数学基础. 康托尔证明了实数集不可数,因此其基数 $2^{\aleph_0}$ 严格大于整数集的基数 $\aleph_0$。连续统假设(CH)问的是 $2^{\aleph_0}$ 是否恰好是下一个基数 $\aleph_1$。哥德尔(1940年)证明了在标准的 ZFC 公理系统中无法证伪 CH,而科恩(1963年)则用他新发明的力迫法(forcing)证明了 CH 也无法被证明。因此 CH 独立于 ZFC:CH 及其否定都与通常的集合论公理相容,所以这个问题在 ZFC 之内没有答案。希尔伯特 #1库尔库尔特·哥德尔, 1963

20世纪

1. 1900
   希尔伯特第十六问题微分方程与动力系统, 几何学. 追问 $n$ 次实代数曲线卵形线可能的排列方式,以及平面上 $n$ 次多项式向量场极限环个数的一致上界 $H(n)$。每个单独的多项式系统只有有限多个极限环(伊利亚申科1991年;埃卡尔1992年),但 $H(n) < \infty$ 是否成立即便在 $n = 2$ 时仍未解决。希尔伯特 #16斯梅尔 #13未解决
2. 1900
   希尔伯特第六问题数学物理. 希尔伯特既要求为概率论与力学建立公理化基础,又要求从微观粒子碰撞严格推导出宏观流体方程。柯尔莫哥洛夫于1933年完成了概率论公理化,邓煜、哈尼与马骁于2025年从硬球动力学推导出长时间玻尔兹曼方程及流体方程,而将整个现代物理学公理化的宏大目标仍未完成。希尔伯特 #6部分解决
3. 1900
   希尔伯特第十二问题算术与数论. 要求寻找数域 $K$ 的所有阿贝尔扩张的显式解析生成元,推广单位根 $\exp(2\pi i/n)$ 生成 $\mathbb{Q}^{\mathrm{ab}}$ 的性质。虚二次域情形已由复乘法理论解决,全实域情形在 $p$ 进意义下已由达斯古普塔与卡克德(2021–2023年)解决,而一般的复解析问题仍然悬而未决。希尔伯特 #12未解决