209開始證明千禧題
11月14日，張衝志在A4紙上寫下了《關於重力空間的構成和在素數上分佈的應用》的標題，開始了對黎曼猜想的證明。
現在，利用大型計算機，數學家已經驗證了最初的10的15次方這樣的點，全都符合黎曼猜想的排列規律，而且在基於黎曼猜想正確的基礎上已有一千多條推論和公式正在使用。
現在對黎曼猜想有多種法想要證明它，可是最後發現都走不到終點。
黎曼猜想：黎曼ζ函式的所有非平凡零點都位於複平面上Re(s)=1\/2的直線上，也是方程ζ(s)=0的解的實部都是1\/2。
這看起來是個解析問題，雖然ζ(s)有諸多解析性質，但並不是ζ(s)獨有。已有多人用純解析方法失敗了。
如此看來黎曼ζ(s)函式的證明還應該從代數的角度看，可是數學家們連高斯圓問題都證不出來，何來證明黎曼ζ(s)函式。
由於受到彼得.舒爾茨狀似備空間的啟發，透過p進數在狀似完備空間中可以將幾何方法轉入到代數之中，從而用將代數和幾何相結合的方法來展示素數的性質和分佈。
這還不夠，還要在這個基礎上再依據格羅膝迪克的spec(z)幾何實體，這樣形成一個獨特的空間。
以張衝志現在的大腦，可以將這個空間在大腦中建立起來，就象卡拉比一丘空間，對一般人根本無法想像，可是丘老先生當年卻可以想像並證明出來，並且有人還在電腦中將它的投影畫了出來。
將空間建立起來後，經過計算，發現還有的素數小機率落在這個空間的兩條線之外，但是上下均勻離散，而且有規律可循。
經過幾天的計算思考，他將這個空間外面加了一個象電子雲的域，使這個空間有種吸力存在，具有收縮性。
而且透過計算這個收縮力是一個常數，而不是隨著素數的增大而增大，所以張衝志將這個域定義為重力域，並將他所建立的空間稱為重力空間。
這條思路已在一年多前就已在腦子裡思考過，經過這一年多的思考，特別是前幾天與得利涅、法爾廷斯和費弗曼的討論，將他的這個理論完善了起來。
思路雖然有了，可是要將證明過程件寫出來，並且各種公式方程要相互聯絡，互相論證，這就需要斟字酌句。
要證明黎曼猜想，必須先將自己建立的理論工具“重力空間”給闡述明白，讓世界上的數學家們認可他的這個理論，然後才可以用這個工具去證明。
如果這個理論有破綻，無法得到承認，那就無從談起證明黎曼猜想。
這樣純理論推導問題，黑星一定幫不上忙，就被張衝志放了出去，讓它自由行動去了。
張衝志絞盡腦汁完善自己的理論，但是由於語言組織的原因，或者期間發現有更好的說法和方法，就要將前面的推翻，重新寫，重新組織語言。
這與大腦的計算力無關，因為以黑星的計算力和智慧程度都無能為力，實際這就是一種人腦獨有的創造能力。
紙簍裡的廢紙已從裡面溢了出來，論文的厚度逐漸增加，張衝志揪頭髮的次數也越來越多。
心中不由感嘆，為什麼數學家的發跡線都高，原來思考問題時太耗費頭髮了。
頭髮少了，鬍子卻多了，由原來一天一刮鬍子，變成了三天一刮鬍子，甚至多天，因為腦子中總是想著各種數學公式和說明，時常會忘了。
只有當手托住下巴思考問題時，才會被扎手的感覺提醒，才想起刮鬍子，頭髮也有點亂，第一次達特茅斯的學生看到有些邋遢的張衝志。
有人還專門拍了照片發到網上，上面寫著：這是誰？
在學校論壇上得到熱議，大多數人都說這是失戀的結果，而且還舉例說明，以前時常跟在張衝志身邊的絕世美女已有許多天沒出現了。
張衝志那有心思關心這些事兒，他也理解了為什麼愛國斯坦的照片上，愛國斯坦的頭髮鬍子一般都是亂亂的，真是沒有工夫去收拾這些！
終於12月5號，在論文第86頁上，他寫下了：
透過以上證明1、證明2、證明3，以及推論1、推論2……推論6，可以證明，對於所有素數都符合這樣的分佈，黎曼ζ函式的所有非平凡零點都位於複平面上Re(S)=1\/2的直線上，也就是方程ζ(s)=0的解的實部都是1\/2。
圈上最後的句號，張衝志長出一口氣，終於完成了！