“我就知道東來你不會讓人失望,果然是英雄出少年,距離證明哥德巴赫猜測才過去幾個月,沒想到你對冰雹猜想的證明工作都到了這一步。”
說句實話,對于王東來證明冰雹猜想,黃云院士是真的高興。
畢竟他是華國數學會的理事長,而王東來是成員。
王東來做出來的成績越大,那么他作為數學會的理事長,自然也能分潤到一定的好處。
“對了,你用的是等差數列驗證法,還是忽略偶數不記錄驗證法?”
黃云想了想,還是沒有壓住心里的好奇,便試探著問了這么一句。
他雖然是理事長,可是骨子里還是一個學術研究者。
此時,親眼見到王東來證明數學難題,而且還是距離成功只差一部分的時候,心里早已是如同貓爪子在撓一樣,好奇的不行。不過,黃云也明白在學術論文沒有發表的時候,這些東西都是絕密的。
所以在糾結了一會兒,黃云才問起了一個不涉及秘密的問題,多少也能滿足一下他的好奇心。
忽略偶數不記錄驗證方法,其實很簡單。
第一個被驗證的奇數有可能是能被3整除的奇數,也有可能是不能被3整除的奇數,但是所到達所歸結的第二個奇數,以及第三個奇數,整個過程中所到達所遇到所歸結所訪問的每一個奇數,必定都不能再被3整除了。
如果都從能夠被3整除的奇數開始驗證,路徑上所遇到所歸結的所到達所訪問的每一個奇數都必定不能再被3整除了,最終都能歸結于1,那么必定遍歷所有的奇數;如果都從不能被3整除的奇數開始驗證,那么路徑上所遇到所到達所歸結的所訪問到的每一個奇數必定都不可能再被3整除了,最終都歸結于1;所以在順向的冰雹猜想驗證過程中,可以把能被3整除的奇數都命名為最起始點的奇數,1是終止點的奇數,而在逆向的冰雹猜想驗證過程中則是相反的,1是最起始點的奇數,而能被3整除的奇數則是終止點的奇數。
事實上在驗證的過程中,不能被3整除的奇數,都在存在數量無窮多的上一步的奇數,占13的比例是能被3整除的奇數,占23的比例是不能被3整除的奇數,這一現象都跟自然數的情況出奇地巧合了。
黃云問出等差數列驗證方法和忽略偶數不記錄方法,算不上涉及秘密。
王東來也沒有在意這一點,便笑著出聲說道:“其實驗證方法無所謂,并沒有多么重要。”
“我用了應用二項式定理、排除法主反例的存在可能性、以及逆向思考法等方法進行了研究,最后找到了一個切入點,應該距離徹底證明不遠了。”
王東來只是簡單地介紹兩句,黃云的腦海里就像是掀起了頭腦風暴一樣,下意識地根據王東來所說的情況去驗證起來。
不過,只是下一秒,黃云便反應過來。
臉上露出一絲苦笑之意,出聲說道:“以前我總是說什么每逢大事需有靜氣,現在看來,我還差的遠啊!”
“好了,冰雹猜想的證明就不要再提了,再說的話,我怕我會忍不住生出嫉妒的心思。”
黃云并沒有掩飾自己剛才的表現,此刻略帶幾分自嘲地調侃自己。
面對黃云這么說,徐松堯和王東來自然也不好多說什么,便將轉過話題。
“徐校,是有什么事情嗎?”王東來出聲問道。
徐松堯說道:“我倒是沒有什么大事找你,是黃院士找你有點事情。”
聽到這話,王東來便將視線放到了黃云的身上。
黃云并沒有立即說出來,而是看了看徐松堯,再看看王東來,稍稍猶豫了一下,才出聲說道:“其實我這次來,是北大的田院士讓我來當說客的。”
“北大希望王教授能夠考慮前往北大進行學術研究,給出的條件包括但不限于五千萬的學術研究經費審批權,理論數學研究中心主任,以及教學實驗樓等其他的條件。”
“田院士親自找上我,我不好拒絕,所以只能過來跑一趟。”
在黃云說到這里的時候,徐松堯的臉色已經有些難看了,不過并沒有爆發出來,而是強忍著。