世界七大难题

其他难题的解决情况   黎曼假设：很多人攻关，没看到希望   霍奇猜想：进展不大   杨-米尔理论：太难，几乎没人做   P与NP问题：没什么进展   波奇和斯温纳顿—戴雅猜想：有希望破解   纳威厄—斯托克斯方程：离解决相差很远 NP完全问题 概述   NP完全问题是不确定性图灵机在P时间内能解决的问题，是世界七大数学难题之一。   NP完全问题排在百万美元大奖的首位，足见他的显赫地位和无穷魅力。   数学上著名的NP问题，完整的叫法是NP完全问题，也即“NP COMPLETE”问题，简单的写法，是 NP=P？的问题。问题就在这个问号上，到底是NP等于P，还是NP不等于P。证明其中之一，便可以拿百万美元大奖。   这个奖还没有人拿到，也就是说，NP问题到底是Polynomial（意思是多项式的），还是Non-Polynomial，尚无定论。   NP里面的N，不是Non-Polynomial的N，是Non-Deterministic（意思是非确定性的），P代表Polynomial倒是对的。NP就是Non-deterministic Polynomial的问题，也即是多项式复杂程度的非确定性问题。 非确定性问题详解   什么是非确定性问题呢？有些计算问题是确定性的，比如加减乘除之类，你只要按照公式推导，按部就班一步步来，就可以得到结果。但是，有些问题是无法按部就班直接地计算出来。比如，找大质数的问题。有没有一个公式，你一套公式，就可以一步步推算出来，下一个质数应该是多少呢？这样的公式是没有的。再比如，大的合数分解质因数的问题，有没有一个公式，把合数代进去，就直接可以算出，它的因子各自是多少？也没有这样的公式。   这种问题的答案，是无法直接计算得到的，只能通过间接的“猜算”来得到结果。这也就是非确定性问题。而这些问题的通常有个算法，它不能直接告诉你答案是什么，但可以告诉你，某个可能的结果是正确的答案还是错误的。这个可以告诉你“猜算”的答案正确与否的算法，假如可以在多项式时间内算出来，就叫做多项式非确定性问题。而如果这个问题的所有可能答案，都是可以在多项式时间内进行正确与否的验算的话，就叫完全多项式非确定问题。   完全多项式非确定性问题可以用穷举法得到答案，一个个检验下去，最终便能得到结果。但是这样算法的复杂程度，是指数关系，因此计算的时间随问题的复杂程度成指数的增长，很快便变得不可计算了。   人们发现，所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们於是就猜想，是否这类问题，存在一个确定性算法，可以在指数时间内，直接算出或是搜寻出正确的答案呢？这就是著名的NP=P？的猜想。   解决这个猜想，无非两种可能，一种是找到一个这样的算法，只要针对某个特定NP完全问题找到一个算法，所有这类问题都可以迎刃而解了，因为他们可以转化为同一个问题。另外的一种可能，就是这样的算法是不存在的。那么就要从数学理论上证明它为什么不存在。   前段时间轰动世界的一个数学成果，是几个印度人提出了一个新算法，可以在多项式时间内，证明某个数是或者不是质数，而在这之前，人们认为质数的证明，是个非多项式问题。可见，有些看来好象是非多项式的问题，其实是多项式问题，只是人们一时还不知道它的多项式解而已。   如果判定问题π∈NP，并且对所有其他判定问题 π∈NP，都有π'多项式变换到π(记为π'∞π)，则称判定问题π 是NP完全的。   对P类，NP类及NP完全问题的研究推动 了计算复杂性理论的发展，产生了许多新概念，提出了许多新。但是还有许多难题至今没有解决，P=NP?就是其中之一。许多学者猜想P≠NP，但无法证明。 庞加莱猜想 庞加莱猜想是法国数学家庞加莱提出的一个猜想，是克雷数学研究所悬赏的世界七大数学难题（七个千年大奖问题）之一。2006年被确认由俄罗斯数学家格里戈里·佩雷尔曼最终证明，但将解题方法公布到网上之后，佩雷尔曼便拒绝接受马德里国际数学联合会声望颇高的菲尔兹奖。 令人头疼的世纪难题   前言：如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。   一位数学史家曾经如此形容1854年出生的亨利·庞加莱（Henri Poincare）:“有些人仿佛生下来就是为了证明天才的存在似的，每次看到亨利，我就会听见这个恼人的声音在我耳边响起。”庞加莱作为数学家的伟大，并不完全在于他解决了多少问题，而在于他曾经提出过许多具有开创意义、奠基性的大问题。庞加莱猜想，就是其中的一个。   1904年，庞加莱在一篇论文中提出了一个看似很简单的拓扑学的猜想：在一个三维空间中，假如每一条封闭的曲线都能收缩到一点，那么这个空间一定是一个三维的圆球。但1905年发现提法中有错误，并对之进行了修改，被推广为：“任何与n维球面同伦的n维封闭流形必定同胚于n维球面。”后来，这个猜想被推广至三维以上空间，被称为“高维庞加莱猜想”。   如果你认为这个说法太抽象的话，我们不妨做这样一个想象：   我们想象这样一个房子，这个空间是一个球。或者，想象一只巨大的足球，里面充满了气，我们钻到里面看，这就是一个球形的房子。   我们不妨假设这个球形的房子墙壁是用钢做的，非常结实，没有窗户没有门，我们现在在这样的球形房子里。拿一个气球来，带到这个球形的房子里。随便什么气球都可以（其实对这个气球是有要求的）。这个气球并不是瘪的，而是已经吹成某一个形状，什么形状都可以（对形状也有一定要求）。但是这个气球，我们还可以继续吹大它，而且假设气球的皮特别结实，肯定不会被吹破。还要假设，这个气球的皮是无限薄的。   好，现在我们继续吹大这个汽球，一直吹。吹到最后会怎么样呢？庞加莱先生猜想，吹到最后，一定是汽球表面和整个球形房子的墙壁表面紧紧地贴住，中间没有缝隙。   我们还可以换一种方法想想：如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点；   另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。   为什么？因为，苹果表面是“单连通的”，而轮胎面不是。   看起来这是不是很容易想清楚？但数学可不是“随便想想”就能证明一个猜想的，这需要严密的数学推理和逻辑推理。一个多世纪以来，无数的科学家为了证明它，绞尽脑汁甚至倾其一生还是无果而终。 艰难的证明之路   2000年5月24日，美国克莱数学研究所的科学顾问委员会把庞加莱猜想列为七个“千禧难题”（又称世界七大数学难题）之一，这七道问题被研究所认为是“重要的经典问题，经许多年仍未解决。”克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得百万美元的奖励。另外六个“千年大奖问题”分别是： NP完全问题， 霍奇猜想（Hodge）， 黎曼假设（Riemann），杨－米尔斯理论（Yang-Mills），纳维-斯托克斯方程（Navier-Stokes，简称NS方程），BSD猜想（Birch and Swinnerton-Dyer）。   提出这个猜想后，庞加莱一度认为自己已经证明了它。但没过多久，证明中的错误就被暴露了出来。于是，拓扑学家们开始了证明它的努力。   早期的证明     20世纪30年代以前，庞加莱猜想的研究只有零星几项。但突然，英国数学家怀特海（Whitehead）对这个问题产生了浓厚兴趣。他一度声称自己完成了证明，但不久就撤回了论文，失之桑榆、收之东隅。但是在这个过程中，他发现了三维流形的一些有趣的特例，而这些特例，现在被统称为怀特海流形。   30年代到60年代之间，又有一些著名的数学家宣称自己解决了庞加莱猜想，著名的宾（R.Bing）、哈肯（Haken）、莫伊泽（Moise）和帕帕奇拉克普罗斯（Papa-kyriakopoulos）均在其中。   帕帕奇拉克普罗斯是1964年的维布伦奖得主，一名希腊数学家。因为他的名字超长超难念，大家都称呼他“帕帕”（Papa）。在1948年以前，帕帕一直与数学圈保持一定的距离，直到被普林斯顿大学邀请做客。帕帕以证明了著名的“迪恩引理”（Dehn's Lemma）而闻名于世，喜好舞文弄墨的数学家约翰•米尔诺（John Milnor）曾经为此写下一段打油诗：“无情无义的迪恩引理/每一个拓扑学家的天敌/直到帕帕奇拉克普罗斯/居然证明得毫不费力。”   然而，这位聪明的希腊拓扑学家，却最终倒在了庞加莱猜想的证明上。在普林斯顿大学流传着一个故事。直到1976年去世前，帕帕仍在试图证明庞加莱猜想，临终之时，他把一叠厚厚的手稿交给了一位数学家朋友，然而，只是翻了几页，那位数学家就发现了错误，但为了让帕帕安静地离去，最后选择了隐忍不言。   柳暗花明的突破     这一时期拓扑学家对庞加莱猜想的研究，虽然没能产生他们所期待的结果，但是，却因此发展出了低维拓扑学这门学科。   一次又一次尝试的失败，使得庞加莱猜想成为出了名难证的数学问题之一。然而，因为它是几何拓扑研究的基础，数学家们又不能将其撂在一旁。这时，事情出现了转机。   1966年菲尔茨奖得主斯梅尔（Smale），在60年代初想到了一个天才的主意：如果三维的庞加莱猜想难以解决，高维的会不会容易些呢？1960年到1961年，在里约热内卢的海滨，经常可以看到一个人，手持草稿纸和铅笔，对着大海思考。他，就是斯梅尔。1961年的夏天，在基辅的非线性振动会议上，斯梅尔公布了自己对庞加莱猜想的五维空间和五维以上的证明，立时引起轰动。   10多年之后的1983年，美国数学家福里德曼（Freedman）将证明又向前推动了一步。在唐纳森工作的基础上，他证出了四维空间中的庞加莱猜想，并因此获得菲尔茨奖。但是，再向前推进的工作，又停滞了。   拓扑学的方法研究三维庞加莱猜想没有进展，有人开始想到了其他的工具。瑟斯顿（Thruston）就是其中之一。他引入了几何结构的方法对三维流形进行切割，并因此获得了1983年的菲尔茨奖。   “就像费马大定理，当谷山志村猜想被证明后，尽管人们还看不到具体的前景，但所有的人心中都有数了。因为，一个可以解决问题的工具出现了。”清华大学数学系主任文志英说。 最后的决战   　然而，庞加莱猜想，依然没有得到证明。人们在期待一个新的工具的出现。可是，解决庞加莱猜想的工具在哪里？   工具有了。   理查德•汉密尔顿，生于1943年，比丘成桐大6岁。虽然在开玩笑的时候，丘成桐会戏谑地称这位有30多年交情、喜欢冲浪、旅游和交女朋友的老友“Playboy”，但提起他的数学成就，却只有称赞和惺惺相惜。   1972年，丘成桐和李伟光合作，发展出了一套用非线性微分方程的方法研究几何结构的理论。丘成桐用这种方法证明了卡拉比猜想，并因此获得菲尔茨奖。1979年，在康奈尔大学的一个讨论班上，当时是斯坦福大学数学系教授的丘成桐见到了汉密尔顿。“那时候，汉密尔顿刚刚在做Ricci流，别人都不晓得，跟我说起。我觉得这个东西不太容易做。没想到，1980年，他就做出了第一个重要的结果。”丘成桐说，“于是我跟他讲，可以用这个结果来证明庞加莱猜想，以及三维空间的大问题。”   Ricci流是以意大利数学家里奇（Gregorio Ricci）命名的一个方程。用它可以完成一系列的拓扑手术，构造几何结构，把不规则的流形变成规则的流形，从而解决三维的庞加莱猜想。看到这个方程的重要性后，丘成桐立即让跟随自己的几个学生跟着汉密尔顿研究Ricci流。其中就包括他的第一个来自中国大陆的学生曹怀东。   第一次见到曹怀东，是在超弦大会丘成桐关于庞加莱猜想的报告上。虽然那一段时间里，几乎所有的媒体都在找曹怀东，但穿着件颜色鲜艳的大T恤的他，在会场里走了好几圈，居然没有人认出。这也难怪。绝大多数的数学家，依然是远离公众视线的象牙塔中人，即使是名动天下如威滕（Witten），坐在后排，俨然也是大隐隐于市的模样。   1982年，曹怀东考取丘成桐的博士。1984年，当丘成桐转到加州大学圣迭戈分校任教时，曹怀东也跟了过来。但是，他的绝大多数时间，是与此时亦从康奈尔大学转至圣迭戈分校的汉密尔顿“泡在一起”。这时，丘成桐的4名博士生，全部在跟随汉密尔顿的研究方向。其中做得最优秀的，是施皖雄。他写出了很多非常漂亮的论文，提出很多好的观点，可是，因为个性和环境的原因，在没有拿到大学的终身教职后，施皖雄竟然放弃了做数学。提起施皖雄，时至今日，丘成桐依然其辞若有憾焉。一种虽然于事无补但惹人深思的假设是，如果，当时的施皖雄坚持下去，关于庞加莱猜想的故事，是否会被改写？   在使用Ricci流进行空间变换时，到后来，总会出现无法控制走向的点。这些点，叫做奇点。如何掌握它们的动向，是证明三维庞加莱猜想的关键。在借鉴了丘成桐和李伟光在非线性微分方程上的工作后，1993年，汉密尔顿发表了一篇关于理解奇点的重要论文。便在此时，丘成桐隐隐感觉到，解决庞加莱猜想的那一刻，就要到来了。   与其同时，地球的另一端，一个叫格里戈里·佩雷尔曼的数学家在花了8年时间研究这个足有一个世纪的古老数学难题后，将3份关键论文的手稿在2002年11月和2003年7月之间，粘贴到一家专门刊登数学和物理论文的网站上，并用电邮通知了几位数学家。声称证明了几何化猜想。到2005年10月，数位专家宣布验证了该证明，一致的赞成意见几乎已经达成。   “如果有人对我解决这个问题的方法感兴趣，都在那儿呢—让他们去看吧。”佩雷尔曼博士说，“我已经发表了我所有的算法，我能提供给公众的就是这些了。”   佩雷尔曼的做法让克雷数学研究所大伤脑筋。因为按照这个研究所的规矩，宣称破解了猜想的人需在正规杂志上发表并得到专家的认可后，才能获得100万美元的奖金。显然，佩雷尔曼并不想把这100万美金补充到他那微薄的收入中去。   对于佩雷尔曼，人们知之甚少。这位伟大的数学天才，出生于1966年6月13日，他的天分使他很早就开始专攻高等数学和物理。16岁时，他以优异的成绩在1982年举行的国际数学奥林匹克竞赛中摘得金牌。此外，他还是一名天才的小提琴家，桌球打得也不错。   从圣彼得堡大学获得博士学位后，佩雷尔曼一直在俄罗斯科学院圣彼得堡斯捷克洛夫数学研究所工作。上个世纪80年代末期，他曾到美国多所大学做博士后研究。大约10年前，他回到斯捷克洛夫数学研究所，继续他的宇宙形状证明工作。   证明庞加莱猜想关键作用让佩雷尔曼很快曝光于公众视野，但他似乎并不喜欢与媒体打交道。据说，有记者想给他拍照，被他大声制止；而对像《自然》《科学》这样声名显赫杂志的采访，他也不屑一顾。   “我认为我所说的任何事情都不可能引起公众的一丝一毫的兴趣。”佩雷尔曼说，“我不愿意说是因为我很看重自己的隐私，或者说我就是想隐瞒我做的任何事情。这里没有顶级机密，我只不过认为公众对我没有兴趣。”他坚持自己不值得如此的关注，并表示对飞来的横财没有丝毫的兴趣。   2003年，在发表了他的研究成果后不久，这位颇有隐者风范的大胡子学者就从人们的视野中消失了。据说他和母亲、妹妹一起住在圣彼得堡市郊的一所小房子里，而且这个犹太人家庭很少对外开放。   破解与争议     2006年6月3日，中山大学的朱熹平教授和曹怀东以一篇长达300多页的论文，以专刊的方式刊载在美国出版的《亚洲数学期刊》六月号，补全了佩雷尔曼证明中的漏洞，给出了庞加莱猜想的完全证明。破解了国际数学界关注上百年的重大难题——庞加莱猜想。运用汉密尔顿、佩雷尔曼等的理论基础，朱熹平和曹怀东第一次成功处理了猜想中“奇异点”的难题，从而完全破解了困扰世界数学家多年的庞加莱猜想。   但是，因为还有其他人宣称证明了该猜想，包括佩雷尔曼、汉密尔顿都对此问题有着巨大贡献，佩雷尔曼还一度声称自己证明了该猜想，而朱熹平和曹怀东却完成了最后的封顶，因此谁是首个证明者，还有争议。 破解   美国克雷数学研究所2010年3月18日对外公布，悬赏10年、奖金100万美元的千禧年数学大奖终于有了第一位获奖人。44岁的俄罗斯天才数学家格里高利·佩雷尔曼因为破解庞加莱猜想而荣获此项殊荣。虽然庞加莱猜想有了答案，但千禧年数学大奖很可能找不到这位神秘的获奖人。早在2006年，国际数学家大会决定将40岁以下数学家的“诺贝尔奖”——菲尔兹奖授予佩雷尔曼，而他拒绝出席领奖。今获“千禧年数学大奖”   3月18日，位于美国马萨诸塞州的克雷数学研究所宣布，数学家佩雷尔曼由于解开了困扰了全球数学界近100年的著名的“庞加莱猜想”，已经被 该研究所授予奖金高达100万美元的“千禧年数学大奖”。   2000年，美国克雷数学研究所宣布为世界“七大数学难题”悬赏700万美元，每一道难题价值100万美元，而“庞加莱猜想”正是其中之一。 无数数学家为此费尽心血，但最后大多选择了放弃。   然而2002年和2003年，俄罗斯司捷克洛夫数学研究所的数学家佩雷尔曼却在网络上发表了三篇论文，成功破解了“庞加莱猜想”。   据悉，克雷数学研究所原本要求获奖者必须在权威数学期刊上发表论文，但性格怪异的佩雷尔曼只在网络发表论文，始终不向权威期刊投稿。   克雷数学研究所在7年之后，最终将破解“庞加莱猜想”的“千禧年数学大奖”颁给了佩雷尔曼。 目前与母亲过着与世隔绝的生活   尽管克雷数学研究所没有透露佩雷尔曼是否同意接受这个大奖，但俄罗斯媒体纷纷称，佩雷尔曼对“千禧年数学大奖”和100万美元的奖金丝毫没有 兴趣。   因为，佩雷尔曼不仅是一名卓越的数学家，同时也是一名与世隔绝、谜一样的“隐士”。   佩雷尔曼7年前成功破解“庞加莱猜想”后，不仅辞掉了在司捷克洛夫数学研究所的职位，还拒绝了美国普林斯顿大学、斯坦福大学主动提供的职位。 据俄罗斯媒体称，如今他在圣彼得堡市的一座公寓中和老母亲生活在一起，过着与世隔绝的生活。[1]  解题者佩雷尔曼   国际数学家联盟主席John Ball曾秘密拜访佩雷尔曼，他的唯一目的是说服佩雷尔曼接受将在8月份国际数学家大会上颁发的菲尔兹奖。谁都知道这是数学界的最高荣誉，此前共有44位数学家获此殊荣，没有人拒绝过接受这个荣誉。然而面对Ball教授两天共十个小时的劝说，佩雷尔曼的回答只是“我拒绝。”他解释说：“如果我的证明是正确的，别种方式的承认是不必要的。”   佩雷尔曼于1992年访问美国，他的生活极为俭朴，只吃面包，芝士和牛奶。在纽约大学他结识了年轻的中国数学家田刚，每星期他们一起开车去普林斯顿参加高等研究院的讨论班。佩雷尔曼读了哈密尔顿关于瑞奇流的文章，还在高等研究院听了他给的一个报告。佩雷尔曼说：“你不用是大数学家也可以看出这对几何化会有用。”   1993年佩雷尔曼开始在伯克莱进行为期两年的访问，适逢哈密尔顿来校作系列演讲。一次报告后，哈密尔顿告诉佩雷尔曼他所遇到的最大的一些障碍，其中之一是叫做“雪茄”的一类奇点。佩雷尔曼意识到，他写的一篇没有发表的文章可能对解决这个问题有用，问哈密尔顿是否知道这篇文章。但哈密尔顿似乎没有了解这篇文章的重要。   1994年，佩雷尔曼因写出了几篇非常有原创性的论文而被邀请在国际数学家大会作报告。好几家大学，包括斯坦福和普林斯顿，邀请他去申请职位。但是他拒绝了一些学校提供的职位，于1995年夏天回到圣彼得堡。他说：“我意识到我在俄国会工作得更好。”斯坦福的Eliashberg 说他回俄国是为了解决庞加莱猜想，佩雷尔曼对这种说法没有表示反对。   在俄国他独自工作，只通过英特网搜集他所需要的知识。Gromov,一位曾与佩雷尔曼合作过的著名几何学家说：“他不需要任何帮助，喜欢一个人工作。他使我想起牛顿，着迷于自己的想法，不去理睬别人的意见。”1995年，哈密尔顿发表了一篇文章，其中描述了他对于完成庞加莱猜想的证明的一些想法。佩雷尔曼对我们说，从这篇文章中“我看不出他在1992年之后有任何进展。可能更早些时候他就被卡在哪儿了。”然而佩雷尔曼却认为自己看到了解决问题的道路。1996年，他给哈密尔顿写了一封长信，描述了他的想法，寄希望于哈密尔顿会同他合作。但是，佩雷尔曼说，“他没有回答。所以我决定自己干。”   2002年11月11日，佩雷尔曼在网络数学文库arXiv.org上张贴了他的第一篇文章，之后他通过电子邮件把文章摘要发送给在美国的一些数学家，包括哈密尔顿，田刚和丘成桐。之前他没有同任何人讨论过这篇文章，因为“我不想同我不信任的人讨论我的工作。”对于随意地在网上发表如此重要的问题的解答可能带来的风险，例如证明或有纰漏而使他蒙羞，甚至被他人纠正而失去成果的优先权，佩雷尔曼表示：“如果我错了而有人利用我的工作给出正确的证明，我会很高兴。我从来没有想成为庞加莱猜想的唯一破解者。”田刚在MIT收到了佩雷尔曼的电子邮件，立即意识到其重要性。他开始阅读并同他的同事们讨论这篇文章。   11月19日，几何学家Kapovitch在电子邮件中询问佩雷尔曼：“我是否理解正确：你在哈密尔顿的纲要中已经可以做足够多的步骤使你能解决几何化猜想？”佩雷尔曼第二天的回答只有一句话：“这是正确的。”   田刚写信给佩雷尔曼邀请他到MIT作演讲。普林斯顿和石溪分校的同事们也发出类似邀请。佩雷尔曼全部接受了，并于2003年4月开始在美国做巡回演讲。数学家们和新闻界都把这看作一件大事。使他感到失望的是，哈密尔顿没有参加这些报告会。   佩雷尔曼告诉我们，“我是哈密尔顿的门徒，虽然还没有得到他的认可。”当哥伦比亚大学的John Morgan邀请他去演讲时他同意了，因为他希望在那里能见到哈密尔顿。演讲会在一个星期天早上举行，哈密尔顿迟到了，并且在会后的讨论和午餐中没有提任何问题。“我的印象是他只读了我的文章的第一部分。”佩雷尔曼说。   到2003年的7月，佩雷尔曼已经在网上公布了他的后两篇文章。数学家们开始对他的证明艰苦地进行检验和说明。在美国至少有两组专家承担了这一任务：田刚（丘成桐的对手）和Morgan；还有密西根大学的两位专家。克莱研究所对他们都给与资助，并计划把田和Morgan的工作以书的形式出版。这本书除了为数学家们提供佩雷尔曼的证明的逻辑外，还是佩雷尔曼能够获得克莱研究所一百万美元奖金的依据。   2004年9月10日，在佩雷尔曼回到圣彼得堡一年多后，他收到田刚发来的一封很长的电子邮件，田在其中写道：“我想我们已经理解了你的文章，它完全正确。”佩雷尔曼没有回信。他向我们解释，“人们需要时间去适应这个有名的问题不再是猜想这样一个事实。。。。。重要的是我不去影响这个过程。”   2003年春天，丘成桐召集中山大学的朱熹平和他的一个学生，里海大学的曹怀东，承担解释佩雷尔曼的证明的工作。丘还安排朱在2005-06学年访问哈佛大学，在一个讨论班上讲解佩雷尔曼的证明并继续与曹一起写他们的文章。2006年4月13日，《亚洲数学杂志》编委会的31位数学家收到丘成桐和另一位共同主编的电子邮件，通知他们在3天内对丘打算在杂志上发表的朱熹平和曹怀东的一篇文章发表意见，题目是“瑞奇流的哈密尔顿-佩雷尔曼理论:庞加莱和几何化猜想”。电子邮件没有包含这篇文章，评审报告或者摘要。至少一位编委要求看这篇文章，却被告知无法得到。4月16日曹收到了丘的邮件告诉他文章已被接受，摘要已在杂志的网站公布。一个多月后，朱和曹的文章的题目在《亚洲数学杂志》的网页上被改成“庞加莱和几何化猜想的一个完整证明：瑞奇流的哈密尔顿-佩雷尔曼理论的应用”。摘要也被修改了，新加的一句话说，“这一证明应看作为瑞奇流的哈密尔顿-佩雷尔曼理论的最高成就”。   朱和曹的文章中说，他们不得不“用基于自己研究的新方法取代佩雷尔曼的几处关键步骤，因为我们不能理解他的本来的推理，而这些推理对几何化纲领的完成是要紧的。”熟悉佩雷尔曼证明的数学家不同意朱和曹对于庞加莱猜想做出重要新贡献的说法。Morgan说：“佩雷尔曼已经做了证明，这个证明是完整和正确的。我看不出他们做了什么不同的事情。”   两位作者到达圣彼得堡后经历了一番曲折才见到佩雷尔曼。佩雷尔曼反复说他已经退出了数学界，不再认为自己是职业数学家了。他提到多年前他同一位合作者就如何评价某个作者的一项工作所发生的争执。他说他对于学界松懈的道德感到非常沮丧。“不是那些违背道德的人被看作异类，”他说，“而是象我这样的人被孤立起来。”当被问及他是否看过曹和朱的文章时，他回答“我不清楚他们做了什么新贡献。显然朱没有十分明白那些推理而又重新做了一遍。”至于丘成桐，佩雷尔曼说，“我不能说我被侵犯了。还有人做得比这更糟。当然，许多数学家多少是诚实的，可他们几乎都是和事佬。他们容忍那些不诚实的人。”获得菲尔兹奖的前景迫使他同他的职业彻底决裂。“只要我不出名，我还有选择的余地，”佩雷尔曼解释说，“或者做一些丑事，”-----对于数学界缺乏正义感大惊小怪-----“或者不这样做而被当作宠物。现在，我变得非常有名了，我不能再做宠物而不说话。这就是为什么我要退出。”当被问及，他拒绝了菲尔兹奖，退出了数学界，是否意味着他排除了影响数学界的任何可能性时，他生气地回答“我不是搞政治的。”佩雷尔曼不愿回答他是否也会拒绝克莱研究所的百万美元奖金的问题。“在颁发奖金之前我不作决定，”他说。Gromov说他能理解佩雷尔曼的逻辑。“你要做伟大的工作就必须有一颗纯洁的心。你只能想数学。其他一切都属于人类的弱点。”尽管人们会把他拒绝接受菲尔兹奖视为一种傲慢，Gromov说，他的原则值得钦佩。“理想的科学家除科学之外不关心其他的事情。他希望生活在那样理想的境界。虽然他做不到，但他希望那样。” 庞加莱猜想的意义   庞加莱猜想的证明意义重大，该猜想的证明，凝结了中国五六个科学家的贡献，是人类在三维空间研究角度解决的第一个难题，也是一个属于代数拓扑学中带有基本意义的命题，将有助于人类更好地研究三维空间，其带来的结果将会加深人们对流形性质的认识，对物理学和工程学都将产生深远的影响，甚至会对人们用数学语言描述宇宙空间产生影响。 BSD猜想 简介   BSD猜想，全称“波奇和斯温纳顿—戴雅猜想”。属于世界七大数学难题之一，2000年初美国克雷数学研究所的科学顾问委员会选定了七个“千年大奖问题”， 克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得百万美元的奖励。克雷数学所“千年大奖问题”的选定，其目的不是为了形成新世纪数学发展的新方向， 而是集中在对数学发展具有中心意义、数学家们梦寐以求而期待解决的重大难题。 猜想内涵   数学家总是被诸如x^2+y^2=z^2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇(Yu.V.Matiyasevich)指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点。BSD猜想是有可能破解的。 纳卫尔－斯托可（Navier-Stokes）方程   纳维-斯托克斯方程(Navier-Stokesequations)，以克劳德-路易-纳维(Claude-LouisNavier)和乔治-盖伯利尔-斯托克斯命名，是一组描述象液体和空气这样的流体物质的方程，简称N-S方程。因1821年由C.-L.-M.-H.纳维建立和1845年由G.G.斯托克斯改进而得名。   方程建立了流体的粒子动量的改变率(加速度)和作用在液体内部的压力的变化和耗散粘滞力(类似于摩擦力)以及重力之间的关系。这些粘滞力产生于分子的相互作用，能告诉我们液体有多粘。这样，纳维-斯托克斯方程描述作用于液体任意给定区域的力的动态平衡，这在流体力学中有十分重要的意义。   它们是最有用的一组方程之一，因为它们描述了大量对学术和经济有用的现象的物理过程。它们可以用于建模天气，洋流，管道中的水流，星系中恒星的运动，翼型周围的气流。它们也可以用于飞行器和车辆的，血液循环的研究，电站的设计，污染效应的，等等。   纳维-斯托克斯方程依赖微分方程来描述流体的运动。这些方程，和代数方程不同，不寻求建立所研究的变量（譬如速度和压力）的关系，而是建立这些量的变化率或通量之间的关系。用数学术语来讲，这些变化率对应于变量的导数。这样，最简单情况的0粘滞度的理想流体的纳维-斯托克斯方程表明加速度（速度的导数，或者说变化率）是和内部压力的导数成正比的。   这表示对于给定的物理问题的纳维-斯托克斯方程的解必须用微积分的帮助才能取得。实用上，只有最简单的情况才能用这种方法解答，而它们的确切答案是已知的。这些情况通常设计稳定态（流场不随时间变化）的非湍流，其中流体的粘滞系数很大或者其速度很小（小的雷诺数）。   对于更复杂的情形，例如厄尔尼诺这样的全球性气象系统或机翼的升力，纳维?斯托克斯方程的解必须借助计算机。这本身是一个科学领域，称为计算流体力学。   虽然湍流是日常经验中就可以遇到的，但这类问题极难求解。一个$1,000,000的大奖由克雷数学学院于2000年5月设立，奖给对于能够帮助理解这一现象的数学理论作出实质性进展的任何人。 杨-米尔斯理论Yang-Mills   又称规范场理论，是研究自然界四种相互作用（电磁、弱、强、引力）的基本理论，是由物理学家杨振宁和R.L.米尔斯在1954年首先提出来的。它起源于对电磁相互作用的分析，利用它所建立的弱相互作用和电磁相互作用的统一理论，已经为实验所证实，特别是这理论所预言的传播弱相互作用的中间玻色子，已经在实验中发现。杨－米尔斯理论又为研究强子（参与强相互作用的基本粒子）的结构提供了有力的工具。在某种意义上说，引力场也是一种规范场。所以这一理论在物理中的作用非常重要。数学家注意到杨－米尔斯场中的规范势恰是数学家在20世纪30～40年代以来深入研究过的纤维丛上的联络。不仅如此，他们还发现，这一理论中出现的杨－米尔斯方程是一组数学上未曾考虑到的极有意义的非线性偏微分方程。1975年以来数学家对杨－米尔斯方程进行了许多深入的研究，这些研究对于纯粹数学的发展，也起了推动作用。 黎曼假设 人物简介   黎曼(Riemann，George Friedrich Bernhard，1826-1866)是黎曼几何的创始人。他在读博士学位期间，研究的是复变函数。他把通常的函数概念推广到多值函数，并引进了多叶黎曼曲面的直观概念。他的博士论文受到了GAUSS的赞扬，也是他此后十年工作的基础，包括：复变函数在Abel积分和 theta函数中的应用，函数的三角级数表示，微分几何基础等。 黎曼假设概述   2000年5月24日，美国克雷(Clay)数学研究所公布了7个千禧数学问题。每个问题的奖金均为100万美元。其中黎曼假设被公认为目前数学中(而不仅仅是这7个)最重要的猜想。黎曼假设并非第一次在社会上征寻解答，早在1900年的巴黎国际数学家大会上，德国数学家希尔伯特列出23个数学问题．其中第8问题中便有黎曼假设(还包括孪生素数猜测和哥德巴赫猜想)。   具体概述关于黎曼-希尔伯特问题是：具有给定单值群的线性微分方程的存在性证明。即：关于素数的方程的所有有意义的解都在一条直线上。 黎曼假设内容介绍   有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2,3,5,7,等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式；然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼蔡塔函数z(s)的性态。著名的黎曼假设断言，方程z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。   1730年，欧拉在研究调和级数：   Σ1/n=1+1/2+1/3+...+1/n.....。   时，发现：   Σ1/n=(1+1/2+1/2^2+...)(1+1/3+1/3^2+...)(1+1/5+1/5^2+...)......=Π(1-1/p)^-1。   其中，n过所有正整数，p过所有素数，但稍加改动便可以使其收敛，将n写成n^s(s>1),即可。如果黎曼假设正确：   Π（x)=Li(x)+O(x^1/2*logx)   证明了上式，即证明了黎曼猜想。   在证明素数定理的过程中，黎曼提出了一个论断：Zeta函数的零点都在直线Res(s) = 1/2上。他在作了一番努力而未能证明后便放弃了，因为这对他证明素数定理影响不大。但这一问题至今仍然未能解决，甚至于比此假设简单的猜想也未能获证。而函数论和解析数论中的很多问题都依赖于黎曼假设。在代数数论中的广义黎曼假设更是影响深远。若能证明黎曼假设，则可带动许多问题的解决。   黎曼猜想素数公式受到另外一个埃拉托塞尼筛法的公式影响： 数论的发展简况   公元前300年，古希腊数学家欧几里得就发现了数论的本质是素数，他自己证明了有无穷多个素数，公元前250年古希腊数学家埃拉托塞尼发明了一种筛法：   （一）“要得到不大于某个自然数N的所有素数，只要在2---N中将不大于√N的素数的倍数全部划去即可”。後来人们   （二）将上面的内容等价转换：“如果N是合数，则它有一个因子d满足1