隨後他放下手中的筆,看了眼面露期待的田良偉,緩緩點了點頭:
「田院長,從我這次的演算來看,小徐推導出的結果應該是沒多大問題的。」
「不過這只是一次簡單草算,類似摸個梗概,只能確定關鍵原理不存在漏洞,不能代表最終結論。」
「像梅森素數這種級別的難題真正的核驗計算量很大,同時一旦宣布被破譯,必然會有無數業內業外的從業者和愛好者進行演算。」
「一般來說,想要真正終定小徐的驗證無誤,最少都需要半年以上。」
田良偉輕輕點了點頭,表示自己明白。
正如張睿所言。
梅森素數作為數學界極為重要的猜想之一,每年幾乎都有許多人宣稱對它完成了證明。
因此這類問題想要通過最終裁定,無論是流程還是時間都相當複雜。
比如說證明了費馬定理的安德魯·懷爾斯。
安德魯·懷爾斯在1993年6月宣布證明了費馬定理,不過在同年12月他就承認了自己步驟上存在問題,直到1994年10月25日才公布了正確的第二版論證。
當時他通過他以前的學生、美國俄亥俄州立大學教授卡爾·魯賓,向全球各大數學學會發送了費馬大定理的完整證明郵件。
但直到一年六個月後,數學界才正式承認了他的推導正確。
還有證明了龐加來猜想的格里戈里·佩雷爾曼。
這位數學界隱士在2002年11月起就公布了相關證明步驟,但直到2006年才真正被認定破解了龐加來猜想。
因為這種問題涉及到的計算量實在是太大太大了。
大到了即便徐雲事先獲得了高斯對於奇完全數不存在的證明、也依舊需要用一個小時的『小麥附體』來計算出相關結果。
所以即便是是張睿,此時也只敢說是『草算』。
一般來說。
這種證明出爐後。
首先會由推導者所在的學校發表聲明,接著再選擇一篇期刊發表正文或者預印版。
同時把相關證明附錄在學校網站或者發給諸如歐洲數學學會、牛津數學學會之類的老牌機構,然後進行漫長的復驗。
正常情況下。
梅森素數這種基數的猜想,最少都需要經過eth、weizmann、牛津、劍橋、波恩、馬普所、巴黎六big、nyu、ucla這些學校的驗證,方才能算是最終核驗完成。
如果不是這幾年情況特殊不方便出國,照理還要參加一些線下的論壇來接受『拷問』。
當然了。
還是那句話。
榮譽歸榮譽,熱度歸熱度。
即便獲獎、終定需要的時間長達十年,也絲毫不影響徐雲可以靠此獲得大量關注的事實。
畢竟國內也有不少機構是研究這方向的呢。
也許國內的數學教學水平和國際依舊有所差距,但在復驗這塊的能力還是母庸置疑的。
有了國內高校的驗證,熱度分分鐘就能炒起來。
頂多就是有些酸貨會說這是國內「自嗨」、「等著國際機構打臉」之類的話了。
保不齊還能扯到一些國內科研甚至運動員造假的黑歷史。
不過總體上來說,那些言論不足為慮。
想到這裡。
張睿不由看了眼徐雲,讚嘆道:
「田院長,你這位學生是真不可限量啊。」
「這種節骨眼上整出這樣的成果.....咱們科大這次恐怕真要搞出個大新聞了,」
【認識十年的老書友給我推薦的追書app,野果閱讀!真特麼好用,開車、睡前都靠這個朗讀聽書打發時間,這裡可以下載 www.yeguoyuedu.com 】
張睿對於