千禧年七大数学难题是什么？
NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程、BSD猜想。
1、NP完全问题
例：在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。宴会的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现宴会的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。
生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13717421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。
人们发现，所有的完全多项式非确定性问题，都可以转换为一类叫作满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们于是就猜想，是否这类问题，存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案呢。
这就是著名的NP=P？的猜想。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克于1971年陈述的。
2、霍奇猜想
二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导致一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。
不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完好的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。
3、庞加莱猜想
如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。
我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。
在2002年11月和2003年7月之间，俄罗斯的数学家格里戈里·佩雷尔曼在发表了三篇论文预印本，并声称证明了几何化猜想。
在佩雷尔曼之后，先后有2组研究者发表论文补全佩雷尔曼给出的证明中缺少的细节。这包括密西根大学的布鲁斯·克莱纳和约翰·洛特；哥伦比亚大学的约翰·摩根和麻省理工学院的田刚。
2006年8月，第25届国际数学家大会授予佩雷尔曼菲尔兹奖。数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。
4、黎曼假设
有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2、3、5、7……等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式。
然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态。著名的黎曼假设断言，方程ζ(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。
黎曼假设之否认：
其实虽然因素数分布而起，但是却是一个歧途，因为伪素数及素数的普遍公式告诉我们，素数与伪素数由它们的变量集决定的。具体参见伪素数及素数词条。
5、杨-米尔斯存在性和质量缺口
量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。
基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和驻波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。
特别是被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。
6、纳卫尔-斯托可方程的存在性与光滑性
起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。
7、BSD猜想
数学家总是被诸如，那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方程是否有一个整数解。
当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)。相反，如果z(1)不等于0。那么只存在着有限多个这样的点。
值得一提的是，杨-米尔斯存在性和质量间隔这个问题中的杨，就是杨振宁：
足见杨振宁在科学界的地位。在杨振宁的学习和研究过程中，数学大师刘熏宇先生对他产生了深刻的影响，他曾言：“有一位刘熏宇先生，他是一位数学家，写过很多通俗易懂和极其有趣的数学方面的文章，我记得，我读了他写的一个关于智力测试的文章。
才知道排列和奇偶排列这些极为重要的数学概念。”杨振宁先生推崇的这套数学书，就是下面这套数学三书，既通俗易懂又非常有趣，非常适合中小学生数学启蒙和数学思维的培养。
杨一米尔斯方程(Yang-Mills equation)是一个重要的微分方程，指杨一米尔斯作用量所确定的欧拉一拉格朗日方程。杨振宁，米尔斯的理论旨在描述基本粒子的行为使用这些非阿贝尔李群和统一的核心的电磁和弱力(即U(1)×SU(2))以及量子色动力学理论的强力(基于SU(3))，从而形成了对粒子物理标准模型理解的基础。
绛旓細1銆丳涓嶯P闂锛氫竴涓棶棰樼О涓烘槸P鐨锛屽鏋滃畠鍙互閫氳繃杩愯澶氶」寮忔锛堝嵆杩愯鏃堕棿鑷冲鏄緭鍏ラ噺澶у皬鐨勫椤瑰紡鍑芥暟锛夌殑涓绉嶇畻娉曡幏寰楄В鍐炽備竴涓棶棰樻垚涓烘槸NP鐨勶紝濡傛灉鎵鎻愬嚭鐨勮В绛斿彲浠ョ敤澶氶」寮忔绠楁硶鏉ユ楠屻2銆榛庢浖鍋囪/榛庢浖鐚滄兂锛氶粠鏇嘉跺嚱鏁扮殑姣忎竴涓潪骞冲嚒闆剁偣閮芥湁绛変簬1/2鐨勫疄閮ㄣ3銆搴炲姞鑾辩寽鎯锛氫换浣曞崟杩為氶棴...
绛旓細1. NP瀹屽叏闂锛氳繖鏄寚閭ｄ簺琚涓烘槸璁＄畻澶嶆潅鎬х悊璁轰腑闅惧害鏈楂樼殑闈炵‘瀹氭у椤瑰紡鏃堕棿闂銆2. 闇嶅鐚滄兂锛氬畠鏄唬鏁板嚑浣曢鍩熺殑涓涓湭瑙ｅ喅闂锛屾秹鍙婂埌澶嶆暟澶氶」寮忔柟绋嬪畾涔夌殑鍑犱綍褰㈢姸鐨勬ц川銆3. 搴炲姞鑾辩寽鎯锛氳繖鏄嫇鎵戝涓殑涓涓憲鍚嶉棶棰橈紝璇㈤棶鍦ㄤ笁缁寸┖闂翠腑鍏锋湁鍗曡繛閫氭х殑闂悎涓夌淮娴佸舰鏄惁鍚岃儦浜庝笁缁寸悆闈傝繖涓...
绛旓細鎴戜滑璇达紝鑻规灉琛ㄩ潰鏄滃崟杩為氱殑鈥濓紝鑰岃疆鑳庨潰涓嶆槸銆傚ぇ绾﹀湪涓鐧惧勾浠ュ墠锛屽簽鍔犺幈宸茬粡鐭ラ亾锛屼簩缁寸悆闈㈡湰璐ㄤ笂鍙敱鍗曡繛閫氭ф潵鍒荤敾锛屼粬鎻愬嚭涓夌淮鐞冮潰(鍥涚淮绌洪棿涓笌鍘熺偣鏈夊崟浣嶈窛绂荤殑鐐圭殑鍏ㄤ綋)鐨勫搴旈棶棰樸傝繖涓棶棰樼珛鍗冲彉寰楁棤姣斿洶闅撅紝浠庨偅鏃惰捣锛鏁板瀹朵滑灏卞湪涓烘濂嬫枟銆傚湪2002骞11鏈堝拰2003骞7鏈堜箣闂达紝淇勭綏鏂殑鏁板瀹...
绛旓細1,2,11,鐜嬶紝鐢
绛旓細鏁板闅鹃鍙互鏄寚閭ｄ簺鍘嗙粡闀挎椂闂磋屼粛鏈湁瑙ｇ瓟/瀹屽叏瑙ｇ瓟鐨勬暟瀛﹂棶棰樸傚彜浠婁互鏉ワ紝涓浜涚壒鎰忔彁鍑虹殑鏁板闅鹃鏈夛細骞抽潰鍑犱綍涓夊ぇ闅鹃銆佸笇灏斾集鐗圭殑23涓棶棰樸佷笘鐣屼笁澶ф暟瀛︾寽鎯炽佸崈绂у勾澶у闅鹃绛銆璐瑰皵椹ぇ瀹氱悊璧锋簮浜庝笁鐧惧骞村墠锛屾寫鎴樹汉绫3涓笘绾紝澶氭闇囨儕鍏ㄤ笘鐣岋紝鑰楀敖浜虹被浼楀鏈鏉板嚭澶ц剳鐨勭簿鍔涳紝涔熻鍗冨崈涓囦竾涓氫綑鑰呯棿杩...
绛旓細杩樺墿涓涓紝鏄粠鏇肩寽鎯筹紝涓栫晫涓冨ぇ鏁板闅鹃涔熺О涓哄崈绂у勾闅鹃锛屾槸涓冧釜鐢辩編鍥藉厠闆锋暟瀛︾爺绌舵墍浜2000骞5鏈24鏃ュ叕甯冪殑鏁板闅鹃銆傚崈绂у勾闅鹃鍒嗗埆涓篜瀵筃P闂銆闇嶅鐚滄兂銆佸簽鍔犺幈鐚滄兂銆侀粠鏇煎亣璁俱佹潹-绫冲皵鏂悊璁恒佹柉鎵樺厠鏂柟绋嬨佹埓灏旂寽鎯炽傚崈绂у勾闅鹃鐮磋В锛屾瀬鏈夊彲鑳戒负瀵嗙爜瀛︿互鍙婅埅澶┿侀氳绛夐鍩熷甫鏉ョ獊鐮存ц繘灞曘
绛旓細涓栫晫涓冨ぇ鏁板闅鹃锛1. P/NP闂锛圥 versus NP锛2. 闇嶅鐚滄兂锛圱he Hodge Conjecture锛3. 搴炲姞鑾辩寽鎯锛圱he Poincar茅 Conjecture锛夛紝姝ょ寽鎯冲凡鑾峰緱璇佸疄銆4. 榛庢浖鐚滄兂锛圱he Riemann Hypothesis锛5. 鏉-绫冲皵鏂瓨鍦ㄦт笌璐ㄩ噺闂撮殭锛圷ang-Mills Existence and Mass Gap锛6. 绾崇淮-鏂墭鍏嬫柉瀛樺湪鎬т笌鍏夋粦鎬э紙Navier...
绛旓細杩欎竷涓笘鐣岄毦棰樻槸锛NP瀹屽叏闂銆侀湇濂囩寽鎯炽佸簽鍔犺幈鐚滄兂銆侀粠鏇煎亣璁俱佹潹绫冲皵鏂瓨鍦ㄦу拰璐ㄩ噺缂哄彛銆佺撼鍗皵鏂墭鍙柟绋嬨丅SD鐚滄兂銆2121骞村墠锛屽厠闆锋暟瀛︾爺绌舵墍鍙戣〃浜嗘暟瀛﹂鍩熷唴7涓《灏栭毦棰樺崈绂у勾澶у闅鹃銆傞毦棰樹粙缁 榛庢浖鐚滄兂锛岄粠鏇肩寽鎯虫槸鍏充簬榛庢浖鍑芥暟鐨勯浂鐐瑰垎甯冪殑鐚滄兂锛岀敱鏁板瀹舵尝鎭╁搱寰烽粠鏇间簬1859骞存彁鍑猴紝铏界劧鍦ㄧ煡鍚嶅害...
绛旓細6. 绾崇淮鍙-鏂墭鍏嬫柉鏂圭▼鐨勫瓨鍦ㄦт笌鍏夋粦鎬э細杩欐槸鍋忓井鍒嗘柟绋嬮鍩熺殑涓涓棶棰橈紝娑夊強鍒版祦浣撳姩鍔涘涓殑鍩烘湰鏂圭▼銆7. 璐濊但鍜屾柉缁磋閫-鎴村皵鐚滄兂锛氳繖鏄暟璁洪鍩熺殑涓涓棶棰橈紝娑夊強鍒版暣鏁板垎瑙ｇ殑鎬ц川銆搴炲姞鑾辩寽鎯鏇剧粡琚涓烘槸涓栫晫涓冨ぇ鏁板闅鹃涔嬩竴锛屼絾鍦2000骞磋缇庡浗鍏嬭幈鏁板鐮旂┒鎵鍒椾负鍗冪Η骞村ぇ濂栭毦棰樹箣涓銆2003骞达紝...
绛旓細榛庢浖鍋囪鏄鏁板棰嗗煙鐨勪竴涓噸瑕闅鹃锛屽畠鍏充箮绱犳暟锛岃繖浜涚壒娈婄殑鏁板瓧濡2銆3銆5銆7绛夛紝瀹冧滑涓嶈兘琛ㄧず涓轰袱涓洿灏忔暟鐨勪箻绉傜礌鏁板湪绾暟瀛﹀拰瀹為檯搴旂敤涓崰鎹牳蹇冨湴浣嶏紝灏界瀹冧滑鍦ㄨ嚜鐒舵暟涓殑鍒嗗竷缂轰箯瑙勫緥鎬э紝浣嗗痉鍥芥暟瀛﹀榛庢浖鐨勬礊瀵熸彮绀轰簡涓绉嶆剰鎯充笉鍒扮殑鑱旂郴銆備粬鏋勯犱簡涓涓悕涓洪粠鏇艰敗濉斿嚱鏁拔(s)锛岃繖涓嚱鏁扮殑...
