b/b/div諾貝爾獎的頒發,是一場盛宴,也打亂了徐川的一些研究安排。
儘管他本人對這個並不是很在意,但這終究是諾貝爾獎,影響力是全世界所有獎項中最大的一個。
親朋好友的祝賀,各大媒體的采訪,各種交際應酬之類的事情,讓他忙亂了好幾天的時間。
不過隨著時間的流逝,新的熱點取代舊的熱點,他的生活又逐漸的安穩了下來。
這陣子,雖說忙亂,但徐川也趁機了解了一些外界,主要是數學界的發生的事情。
自從菲爾茲獎頒發後,他就暫時的離開了數學界,開始了應用之旅。
但作為這輩子主要的研究方向,數學界的大事,他是必須要了解清楚的。
截止到今年十月初,數學界發生兩件較大的事情。
第一件是前不久才獲得了菲爾茲獎的日耳曼數學教授彼得·舒爾茨和歌德大學的雅克比·斯提克斯教授共同發文稱
“他們在櫻花國數學教授‘望月新一’證明ab猜想的論文中發現了一個“嚴重的、無法修複的差錯。”
2012年,櫻花國數學家望月新一宣布,他證明了世紀難題‘ab猜想’。
但在那之後的整整六年時間裡,僅有為數不多的幾名數學家表示自己看懂了望月的證明並且表示讚同。
而絕大部分數學家麵對望月新一冗長而令人困惑的證明,都處於迷茫中,這也導致一些人懷疑望月新一的證明。
時至今日,舒爾茨和雅克比提出重大缺陷,毫無疑問是證實了ab猜想的證明宣告失敗。
這件事徐川是有所記憶的。
因為ab猜想在數學界有著重要意義,它在數論中的地位很高,幾乎與黎曼猜想齊名。
很多著名猜想/理論都是它的推論,如費馬大定理、比爾猜想、rde猜想以及孿生素數猜想等。
1995年安德魯·懷爾斯教授用了兩百多頁的論文才完成費馬大定理的證明。但如果ab猜想是成立的,那麼費馬大猜想的證明隻需下麵幾行字
令a=x^n,b=y^n,;其中a+b=
根據ab猜想有≤(rad(ab))2;
即z^n≤(rad(x^ny^nz^n)2≤(xyz)2<z?)
所以n<6,而n=3,4,5的情況已經被歐拉等人證明;
可得費馬大定理成立。
這幾行初中學過階乘就能看懂的數學,可謂是簡單至極。
但它卻可以證明曆史上花費了三百年時間才被解決的費馬大猜想。
而它的基礎,就在ab猜想成立的基礎上。
望月新一的證明論文,徐川也看過,不過他也看不懂那玩意。
長達六百多頁的論文,望月新一在裡麵創建了一套完全屬於自己的新的數學理論,甚至是數學符號,及文字。
具體來說,這篇論文中充滿了各種奇怪的符號,比如傳統八卦文學中的金木水火土之類的東西。
不僅是文字,更是連那種八卦圖都用上了。
此外論文中還有大量風格詭異的定義名稱。比如「宇宙暗邊際之極」、「霍奇影院」「外星算數全純結構」等等。
要想看懂這些東西,得將那六百多頁的論文,以及超過五百頁的其他論文(這五百頁,全都是望月新一自己的。)
所以在粗略的翻了翻ab猜想的證明論文後,他就將其丟到一邊了。
在徐川看來,望月新一證明論文和民科的天圓地方證數學大統一有的一拚。
儘管前者是一個實打實的國際著名數學家。
而事實也是,直到他重生回來前,望月新一的論文依舊屬於圈地自玩的狀態。
儘管他堅持自己已經證實了ab猜想,但數學界已經不對他的論文抱有任何希望了。
至於另一件事,則是數學延伸到量子計算機。
2018年原本應該是量子計算機實現“量子霸權”的一年,也即出現證據表明量子計算機遠遠超過普通的經典計算機。
然而事實卻並非如此。
在八月,菲爾茲獎頒的時候,一個年僅18歲的華裔少年唐乙文提出了一種傳統計算機ai算法。
其運算速度可以與量子計算比肩,相對之前的傳統算法實現了運算速度的指數級增長。
這一發現不僅推翻了兩位量子計算重量級人物的量子加速神話,也證明了量子算法和經典算法研究之間存在富有成效的相互作用。
有意思的是,唐乙文本來打算證明這樣的算法是不存在的。
但隨著時間推移和自己的研究,她發現這樣的算法確實存在。
而量子霸權的延遲甚至導致一些理論計算機科學家認為,量子計算機永遠不會超越最好的經典計算機。
對於這件事,徐川的確不太了解。
但他很清楚,量子計算機的發展並未被未來的人們放棄。
畢竟摩爾定律已經限定死了傳統超算的計算速度。
不過當前,徐川對唐乙文提出的ai算法很感興趣,找來了一份論文翻閱了一下。
隻是,他對於算法方麵的東西並不是很了解,隻能粗略的看了一下,了解一些裡麵的思想與核心。
想了想,徐川在心裡記下了這個名字。
如果有機會,或許可以向上麵提一下,看看能不能將這個人才從米國那邊挖過來。
】
傳統超級計算機的重要性,他比其他人都要了解。
在未來至少二十年到三十年的時間,傳統的超算依舊是大型計算的主力。
而能為超算提供算法的人才,重要性母庸置疑。
折騰了一陣子,待到諾貝爾獎的風波過去,徐川總算是恢複了正常的生活。
被耽擱的核能與鋰硫電池的研發項目重新進入。
在他的帶領下,兩大項目的研發進度明顯日益長進。
特彆是核能項目。