第453章 識時務者為俊傑（2/2）

在這三天的交流會裡，許青舟來講收穫巨大。

比如見到數學家卡塔琳·哈里根。

以前他看的那本《極小模型的奇點理論》就是這位寫的。

老先生六十多歲，精神卻相當健碩，交流的過程中謙和嚴謹，兩人現場計算，想要驗證黎曼ζ函數的極點與代數簇的奇點是否存在某種對偶性。

當然，沒什麼結果。

只能期待後續研究。

另外，他還和新生代幾何學家皮埃爾一起就格羅滕迪克「遠阿貝爾幾何」視角探討黎曼猜想與幾何結構的深層聯繫，尋找是否有幾何化的表達。

也和陶哲軒討論了複分析部分的優化，最後還有物理學家威騰一起討論量子算法。

而國外和夏國在學術交流的形式上，確實有鮮明的對比。

沒有複雜的儀式，幾分鐘就進入正題，以學術效率為核心，省略冗餘環節。

並且，這次來的可以說全都是大牛。

沒辦法，實在是黎曼猜想太重要了。

在數學領域，超過半世紀都沒被解決的猜想不僅僅只有黎曼猜想，比如困擾人們三個半世紀的費馬大定理，哥德巴赫猜想自提出之後到現在為止已經超過兩個半世紀，但依舊懸而未決。

黎曼猜想的歷史和他們相比顯得短暫。

但如果以與其它數學命題，甚至是物理學領域的各個學科的聯繫上講，黎曼猜想可以說是一騎絕塵。

一旦猜想成立，所有依賴猜想中零點分布的命題，素數定理的誤差項優化，質數密度漸近於(frac{1}{ln x})）的誤差項可被大幅改進，例如從( O(x^{1/2+epsilon}))壓縮到( O(x^{1/2}ln x))。

另外，還有素數間隔估計，這些都會自動成立。

在實例上，就和密碼學相關。現代公鑰加密（如RSA）依賴大素數分解的困難性，而黎曼猜想被證明後，素數分布的確定性規律可能催生更高效的素數生成或分解算法。

總之，許青舟這幾天確實忙，但收穫頗多。

有意思的是，在大會裡，他在證明黎曼猜想過程中使用的零點圍捕工具，成了許氏圍捕，而創新引入的物理工具的方式，則是許氏變換。

「幹活了。」

許青舟收回思緒，提筆繼續昨天的計算，目前正考慮黎曼定理在整數中的運用。

「設ω(n)是正整數n的不同素因子的個數，特別地，ω(1)= 0.。讓Fk(n)=1，ω(n)= k，0，ω(n) 6= k這樣就可以定義出一個素數分布函數。」

六月，京都和波士頓的天氣其實沒多大區別。

燕東園。

「終於回來了。」

許青舟推著兩個大行李箱進門。

空氣中帶著絲絲塵埃的氣息，一年時間，除了房東賈阿姨會過來檢查一下水電，給房子通通風，其它時間完全處於閒置狀態。

宋瑤提著白色雙肩包。

許青舟抽紙把兩個凳子擦出來，坐下，歇完氣，轉頭望著身旁漂亮的宋校花：「我覺得你應該來拿行李箱，我提包。」

「我是女生，力氣小。」

宋瑤撇嘴，四周轉著檢查房間的情況。

「.」

許青舟無言以對，宋校花就喜歡裝弱女子，這可能就是越缺少什麼越想裝什麼吧。

「別坐著，打掃衛生。」

宋瑤把背包放下，去拿掃把和毛巾。

「得嘞~」

許青舟先把真空袋裡的棉絮拿到陽台上晾好，拿著拖把掃地。

宋瑤就收拾臥室，把行李箱帶回來的床單取出來。

倆人忙活兒了整個上午，把里里外外打掃了一遍，雖然挺累，但住熟悉的地方總比去酒店強。

中午簡單睡一覺，許青舟拎著禮物去顧志鍾教授那邊，宋瑤也拿著東西去李岱月那邊。

(本章完)