说真的，每次聊起数学界的未解之谜，我都特别来劲。
你想象一下——全世界最聪明的那帮大脑，皓首穷经地钻研了几十年甚至上百年，硬是没人能搞定。这得多让人抓心挠肝？
今天咱们就聊聊这些“硬骨头”。放心，我不打算给你上一堂枯燥的数学课咱就当聊八卦似的，把这些难题的前世今生捋一捋。
黎曼猜想：数学界的“老大难”
要我说，黎曼猜想绝对是数学界知名度最高的“网红”级难题。
1859年，有个叫黎曼的德国数学家，随手写了篇论文，提出了一个关于质数分布的猜想。这篇论文只有8页，你猜怎么着？160多年过去了，没人能证明它是对的，也没人能证明它是错的。
就这么离谱。
质数是什么？简单说就是只能被1和它自己整除的数，2、3、5、7、11……这玩意儿看起来杂乱无章，但数学家一直怀疑它们背后藏着某种神秘规律。黎曼就提出了一个“猜想”，说这个规律跟一个叫“黎曼zeta函数”的东西有关。
你说证明它有多难？1900年，希尔伯特把它列入23个数学难题；2000年，美国克雷数学研究所又把它列入七大“千禧年难题”，每个难题悬赏100万美元。
结果呢？
2018年，89岁的数学家阿蒂亚爵士信心满满地宣布自己证明了黎曼猜想，结果——学术界普遍不买账。你看这东西多磨人，连顶级大佬都可能翻车。
P vs NP：计算机科学的“终极灵魂拷问”
这个事儿吧，跟我们每个人的生活都有关联。
简单来说，P问题就是那种“算起来很快”的问题，NP问题则是“验证起来很快”的问题。听起来有点绕是不是？我给你举个例子。
比如我给你一个拼图，你拼完了，我一眼就能看出对不对——这就是验证很快。但让你自己从头拼，那可就费老劲了。
P vs NP就是在问：验证快的问题，是不是一定也能快速求解？
听起来很简单对吧？ 但这个问题被列为千禧年七大难题之首。搞计算机的都知道，如果P=NP，那现在所有的加密系统都完蛋了——因为破解密码和验证密码一样简单。想想你银行里的存款，还安全吗？
目前学术界普遍认为P≠NP，但没人能证明。2006年有个印度数学家声称证明了P=NP，结果被发现有错误不了了之。
这玩意儿太要命了，连验证都需要极强的专业知识，普通人想帮忙都使不上劲。
纳维-斯托克斯方程：流体力学的“混沌炸弹”
这个话题特别有意思，因为它的应用就在我们身边。
你见过水流、见过烟雾、见过空气流动吧？这些流体运动都遵循一套方程——纳维-斯托克斯方程。这套方程是19世纪搞出来的，用了快两百年了。
问题是：没人知道它到底有没有解。
别笑，这是真的。数学家可以写出方程，但能不能找到解、解在哪里、会不会突然“炸”出问题，一概不知。
更邪门的是，这方程的解可能会出现“奇点”——就是某一天，流体突然就无限加速、然后“砰”一下数值爆炸。这种情况在数学上叫“爆裂”，在物理上意味着什么，谁也说不清楚。
2014年阿富汗有个名叫穆罕默德·阿尔·穆巴拉克的数学家声称解决了这个问题，结果被发现计算有误。你看，又是这种情况——大家都想做第一个吃螃蟹的人，但螃蟹太难抓了。
杨-米尔斯存在性和质量间隙：物理学家和数学家的“联名款”
这个得稍微扯远一点。
我们知道，物质是由原子组成的，原子是由质子中子电子组成的，质子中子又是由夸克组成的。那么问题来了——夸克为什么会被“粘”在一起？
这就涉及到杨-米尔斯理论了。1954年，杨振宁和米尔斯提出了这套理论，后来成了标准物理模型的基础。简单说，它描述了粒子之间的相互作用。
但数学上，这套理论有没有解？解在哪里？
这个问题被列为千禧年难题之一。物理学家用杨-米尔斯理论用得挺欢，但数学家表示：对不起，我们还没严格证明这玩意儿存在。
“质量间隙”又是什么意思呢？就是说，理论上应该存在一种有质量的粒子（这就是胶子），但数学上至今无法严格证明它为什么会有质量。
你看看，物理和数学有时候就是这样的关系——物理学家在前面跑，数学家在后面追能不能追上还不一定。
霍奇猜想：几何学的“哲学问题”
这个特别抽象，抽象到我都有点不知道怎么跟你解释。
霍奇猜想是1950年由英国数学家霍奇提出的，讲的是几何对象的上同调理论。算了算了，我知道你听不懂，我也差点说不清楚。
咱换个说法。
想象你有一个复杂的形状，比如一个扭曲的甜甜圈。霍奇猜想在说：能不能用一些简单的“积木”来堆出这个形状？
这听起来有点像乐高——用基础块搭复杂模型。
问题在于，数学家连这个“能不能”都证明不了。有人可能会说，证明这个有什么用？坦白说，我也答不上来。但数学就是这样——很多当时看起来没用的东西，后来都派上了大用场。
BSD猜想：椭圆曲线的“灵魂之问”
这个得从费马大定理说起。
当年费马在书页空白处随手写下：“x的n次方加y的n次方等于z的n次方，当n大于2时没有正整数解”——然后说我已经想到一个“绝妙的证明”，但空白处太小写不下。
这就是著名的费马大定理，困扰了数学家358年，直到1994年安德鲁·怀尔斯才把它证出来。
但故事没完。
费马大定理跟椭圆曲线有很深的关系，而BSD猜想就是关于椭圆曲线的一堆疑问。简单说，BSD猜想在问：椭圆曲线的某些性质，能不能通过计算得出？
这个问题有多难？日本数学家望月新一宣布证明了abc猜想——这跟BSD猜想也有关系——但全世界没几个人能看懂他的证明。
孪生素数猜想：质数的“双胞胎”
这个就亲切多了，因为我们都能听懂它在问什么。
我们知道质数：2、3、5、7、11、13……有些质数之间只差2，比如3和5、5和7、11和13，这些叫“孪生素数”。
问题是：孪生素数有没有无穷多对？
这就是孪生素数猜想。听起来特别简单是不是？两千多年来无人能证明。
2013年，中国数学家张益唐证明了存在无穷多对质数，它们之间的差距小于7000万。这个成果轰动数学界，虽然离最终的2还有距离，但已经是重大突破了。
你看看，有些难题看着简单，实际上是纸老虎——看着薄，实际上厚得很。
哥德尔不完备定理：数学的“终极阴影”
这个不太一样——它不是“还没被证明”的猜想，而是已经被证明了的“坏消息”。
1931年，哥德尔证明了：任何足够复杂的数学系统，要么是不完备的（有些真命题你证明不了），要么是不一致的（会推出矛盾）。
这意味着什么？
意味着数学家不可能找到一个“万能的证明机器”，能够证明所有真命题。数学王国里，总有些真相是你永远触碰不到的。
这就好像在玩游戏，哥德尔告诉你：这张地图你永远无法100%探索。
很多数学家知道这个结果后，都抑郁过。但也有人说，正因为如此，数学才有意思——如果什么都被研究透了，那还探索个什么劲？
科拉茨猜想：数字的“过山车”
这个特别好玩，我着重讲讲。
随便想一个正整数。如果是偶数，就除以2；如果是奇数，就乘以3再加1。得到新数字后，重复这个操作。
比如从6开始：6→3→10→5→16→8→4→2→1→4→2→1……最后陷入了1、4、2、1的循环。
科拉茨猜想问的是：无论从哪个数字开始，最终都会回到1吗？
这个问题1937年提出，现在快90年了，没人能证明，也没人能反驳。
更邪门的是，数学家验证了海量的数字，从很小的数到几千位的大数，全部都回到了1。但数学是严谨的——你验证再多数字，也不能代替证明。
有人把它叫做“3x+1问题”，听起来就像某种暗号。这东西特别适合用来坑人——你可以随手写个数，让对方算半天，然后发现根本停不下来。
写在最后
聊了这么多，我得跟你说实话：这些“十大无解难题”，其实并没有一个官方统一的版本。不同的人、不同的领域，会列出不同的清单。
有人会提“希尔伯特23问”——那是1900年的清单，现在大部分已经被解决了。有人会提“千禧年七大难题”——那是2000年的悬赏清单。有人可能还会提更专业的，比如“abc猜想”、“霍奇猜想”等等。
但有一点是共同的：这些难题之所以难，是因为它们触及了数学或科学最基础的结构。
解决了它们，不仅仅是拿到那100万美元的奖金更重要的是，它们会彻底改变我们理解世界的方式。
至于你问“什么时候能解决”——坦白说没人知道。也许明天就有人突破，也许一百年后还是老样子。数学这玩意儿，急不来。
行了，关于无解难题就先聊到这儿。如果你感兴趣，哪个单挑出来都能聊三天三夜。咱们下次换个话题，继续磕。
还没有评论，来说两句吧...