“徐老師,樓嵩通過微信聯系我,問您最近有沒有時間,想跟您一起討論一些問題。”
聽到是樓嵩想要找自己,徐佑自然是沒有拒絕的理由。
“知道了,一會兒我會親自回復他的。”
“好的,徐老師。”
提起樓嵩,徐佑已經有一段時間沒有和他見面了。
這也并不是徐佑所愿,只是這段時間都在忙著登月項目相關的事宜,自己確實抽不開身。
樓嵩因為從事專業的關系,并沒有直接參與到登月項目之中,只是偶爾和徐佑聊一些學術上面的問題罷了。
這一次樓嵩主動聯系到自己,一定是有什么重要的新發現,想要和自己分享。
處理完手頭的工作后,徐佑便與樓嵩取得了聯系。
聽樓嵩在電話里的語氣,似乎這次的事情非常重要,徐佑便與樓嵩約定在午后見面。
“平常的話,樓嵩一般是不會這么急的。要不然的話,樓嵩也不會通過崔穎去聯系我。”
想到這,徐佑越發的覺得,樓嵩這次的發現應該并不簡單。
到了約定的時間,樓嵩準時出現在了徐佑辦公室門前。
“樓老師,請進。”
“好的,麻煩崔老師了。”
樓嵩走進徐佑的辦公室,兩人見到對方之后,皆是相視一笑。
自從兩人第一次在競賽的時候相遇,已經過去將近十年的時間了。
在這期間,兩人在各自的領域中,都取得了無數的成果,身份也發生了很大的變化。
而一直未變的,是他們都知識的敬畏與探索之心。
“告訴你一個好消息,黎曼猜想我已經完成了一半的證明。”
聽到樓嵩的話,徐佑也是非常的興奮。
“怪不得這次你這么著急。方便給我看看證明的思路嗎?”
“當然。”
既然樓嵩親自來找徐佑,自然是不會對徐佑有任何的避諱。
樓嵩打開自己的電腦,向徐佑講解起了自己的思路。
“其實證明黎曼猜想的關鍵與否,并不一定在于從黎曼函數進行推導,也可以從Re(s)的定義域這里來入手。在這里,我使用了兩個定理,分別是負實數開方定理,以及虛數產生定理。”
“虛數產生定理?”徐佑詫異道。
眾所周知,當所有負實數進行開方運算時,都會產生一個虛數。
例如虛數單位i,就是通過計算1的算術平方根得到的結果。
“是的。我們通過負實數開方定理和虛數產生定理的證明過程,就可以得到如下的一系列公式。”
樓嵩快速的講解著自己的思路,中間省略了很多的過程,就算是數學系的教授,也未必能夠跟得上樓嵩的思路。
不過,這樣的速度,對于徐佑來說,卻是剛剛好。
“原來如此,這還真是一個奇妙的思路啊。”
聽樓嵩講解完他的整個思路,徐佑不禁用力的點了點頭。
樓嵩的思路非常的特別,可以說是給證明黎曼猜想,提供了一個全新的思路。
即使還沒有徹底的解決黎曼猜想的證明,但至少已經完成了接近半數的工作了。
“樓嵩,能說一下,你是怎么想到這個方法的嗎?”
徐佑已經理解了樓嵩的思路,不過還沒有想明白,樓嵩是如何獲得這樣的靈感的。
這種感覺,就好像是看完了題目的解析之后,明白題目可以這么做,卻不知道為何可以找到這個方向。
“其實,這不能說完全是我的功勞。伏龍迷你量子機在其中給了我非常多的幫助。”
“什么?你已經找到如何讓量子計算機解決復雜數學問題的方法了?”
“還不能這么說,不過至少我已經開始學會,如何使用量子計算機,作為輔助解決數學問題的工具了。”
接下來,樓嵩詳細的講述了一下,自己是如何利用量子計算機,來幫助自己解決各種復雜的數學問題的。
徐佑聽著樓嵩使用量子計算機的思路,也是連連點頭感嘆著。
“原來如此,你是希望量子計算機能夠像人類一樣去學習數學,先成為一個有一定基礎的‘數學家’,這樣的話,再去解決數學問題就要輕松許多了。”
“沒錯,這其實跟人工智能學習圍棋的思路是大致相同的。只不過數學與圍棋不同,并沒有明確的勝負,在讓人工智能學習起數學來,還是要有更多的困難的。”
樓嵩現在能做到的,并不是像之前的算經人工智能一樣,完全讓量子計算機去解決所有的問題。
而只是讓人工智能去解決一些小的問題,大的方向還是需要人類自己去掌控。
即便如此,這在數學史上,也算是一個非常大的突破了。
“現在我對人工智能的想法已經完全轉變了。我并不覺得人工智能在數學上超過人類是不可能的事情,也不覺得這有什么遺憾的。從計算機被發明開始,人類就已經在依賴它們去解決數學問題了。”樓嵩說道。
“沒錯,其實人類一直都在制造各種工具,去幫助自己解決復雜的問題。早在兩千多年以前,我們的祖先就發明了算盤,這也算是人類早期所使用的‘計算器’了。既然都是我們自己發明的工具,我們使用它們,就是順理成章的事情。”
樓嵩聽完也連連點頭,表示的確是這個道理。
說完了黎曼猜想的事情后,樓嵩便沒有馬上離開,而是繼續說道:
“這是我今天來找你的第一件事情。接下來,還有一件更重要的事情。”
徐佑聞言一愣,眉頭不禁微微皺了起來。
徐佑之前也覺得,樓嵩能夠發現黎曼猜想的證明方向這件事情的確很重要,卻也沒有重要到需要馬上見到徐佑。
就算晚幾天和徐佑說這件事情,也不會有什么影響。
果然,樓嵩這次來,還有一些更重要的事情。
“到底是什么事情,快說吧。”
“還記得前一陣子,山姆聯儲突然宣布加息的事情嗎?”
徐佑沒有想到,樓嵩要跟自己談論的事情,居然是跟山姆加息的情況有關。