1900年8月8日，在巴黎举行的第二届国际数学家大会上，德国数学巨匠大卫·希尔伯特（David Hilbert）发表了一场题为《数学问题》（Mathematische Probleme）的著名演讲。在这场演讲中，他提出了23个未解决的数学问题，这些问题不仅涵盖了当时数学的各个主要分支，更为未来一个世纪的数学研究指明了方向。
这23个问题被称为希尔伯特23个数学难题，它们是数学史上最具影响力和启发性的清单之一。希尔伯特坚信，这些问题的解决将推动数学进入一个新的辉煌时代。经过百余年的发展，其中许多问题已被解决，有些则引发了更深层次的思考，甚至催生了全新的数学分支。本文将深入探讨这23个难题的背景、内容、现状及其对现代科学的深远影响。
在人工智能、密码学、量子计算等前沿领域，数学基础理论的创新至关重要。希尔伯特提出的许多问题，如黎曼猜想和哥德巴赫猜想，至今仍是数论皇冠上的明珠。理解这些问题，不仅有助于把握数学发展的脉络，更能激发对未知世界的探索欲望。
为了便于理解，希尔伯特在演讲中将这23个问题大致分为四类：代数与数论、几何与公理、分析与数学基础、以及应用数学。以下通过选项卡形式，分类展示部分核心难题及其简要说明。
在23个难题中，有些问题因其极高的难度和深远的影响而备受关注。以下将详细解析几个最具代表性的未解或部分未解难题。
黎曼猜想是数学中最重要的未解问题之一，它涉及黎曼ζ函数的非平凡零点的分布。黎曼在1859年提出，所有非平凡零点的实部都是1/2。这一猜想与素数的分布密切相关，如果得证，将对数论产生革命性影响。
尽管经过160多年的研究，数学家们已经验证了数十亿个零点符合黎曼猜想，但严格的数学证明依然缺失。2000年，克雷数学研究所将黎曼猜想列为千禧年大奖难题之一，悬赏100万美元征求证明。
哥德巴赫猜想指出，每个大于2的偶数都可以表示为两个素数之和。尽管这一猜想已被计算机验证至极大范围，但至今没有通用的数学证明。陈景润在1973年证明了“1+2”，即每个充分大的偶数可以表示为一个素数及一个不超过两个素数的乘积之和，这是目前最好的结果。
虽然庞加莱猜想并非希尔伯特原题，但它与第5个问题密切相关。2003年，俄罗斯数学家格里戈里·佩雷尔曼利用理查德·哈密顿的里奇流技术，证明了庞加莱猜想，解决了拓扑学中的一个核心难题。这一成就使他获得了菲尔兹奖和千禧年大奖，但他拒绝了这两项荣誉。
数学证明不仅仅是逻辑推理，还需要创造新的工具和概念。例如，解决费马大定理需要引入椭圆曲线和模形式，而黎曼猜想可能需要全新的数论框架。希尔伯特的难题之所以伟大，是因为它们迫使数学家跳出传统思维，探索未知的领域。
了解这23个难题的解决历程，有助于我们把握20世纪数学的发展脉络。以下时间轴展示了部分关键节点的解决情况。
第10个问题（丢番图方程）在1970年被否定解决，但早期数学家如哥德尔、图灵等人的工作为其奠定了基础。第1、2个问题在1931年哥德尔不完备定理后获得部分理解。
第3个问题（四面体体积）在1900年当年被解决。第19个问题（正则变分）在1957年解决。第9个问题（ reciprocity 定律）在20世纪80年代完全解决。
第12个问题（类域论推广）在20世纪80年代由朗兰兹纲领部分解决。第10个问题在1970年被马季亚谢维奇解决。第5个问题（连续群）在1953年解决。
第8个问题中的黎曼猜想和哥德巴赫猜想仍未解决。第18个问题（开球堆积）在1998年由黑尔斯用计算机辅助证明。第13个问题（七次方程解）在1957年解决。
| 问题编号 | 问题简述 | 解决状态 | 关键贡献者/年份 |
|---|---|---|---|
| 1 | 连续统假设 | 独立于ZFC公理 | 哥德尔(1940), 科恩(1963) |
| 2 | 算术公理相容性 | 部分解决（哥德尔） | 哥德尔(1931) |
| 8 | 黎曼猜想 | 未解 | — |
| 9 | reciprocity 定律 | 已解决 | 朗兰兹等人(1980s) |
| 10 | 丢番图方程可解性 | 已解决（否定） | 马季亚谢维奇(1970) |
| 18 | 开球堆积 | 已解决（计算机辅助） | 黑尔斯(1998) |
| — | 庞加莱猜想 | 已解决 | 佩雷尔曼(2003) |
希尔伯特的23个难题不仅推动了纯数学的发展，还对物理学、计算机科学等领域产生了深远影响。以下从三个维度分析其影响。
为解决第10个问题，马季亚谢维奇引入了计算理论，推动了递归论的发展。第9个问题的解决促进了类域论和朗兰兹纲领的成熟。这些进展不仅解决了具体问题，还构建了新的数学框架。
第10个问题的“否定”解决直接关联到图灵机的不可判定性。希尔伯特对形式系统的关注，为计算机科学中的算法理论和复杂性研究奠定了基础。如今，P vs NP问题（与第10个问题相关）仍是计算机科学的核心难题。
第6个问题（物理学的公理化）促使数学家与物理学家合作，推动了量子场论和广义相对论的数学基础发展。弦理论中的许多数学工具，如镜像对称，也源于对希尔伯特难题的深入探索。
以下是网友关于希尔伯特23个数学难题最常见的疑问及深度解答。