邱成文問道,“接下來的證明還多嗎?”
張碩估計了個時間,“應該能趕在六點之前講完,快一些的話,四十分鐘就足夠了。”
“隻有這麼多了?”
“剩下的並不多,但是理解上要困難一些。”張碩說道。
朱浩笑道,“我剛才就說,你做報告就和講課一樣,你還真當講課了啊?這麼有信心嗎?”
張碩肯定道,“應該是已經證明了。”
“我們也希望伱能成功。”
沈源道,“如果你完成了證明,這會是國內數學會迄今為止發布的最大研究成果!”
休息時間結束。
張碩重新走上了講台,開口道,“接下來是我的研究,使用平方數的素數檢驗法來證明傑波夫猜想。”
他操作著電腦把證明過程投影到熒幕上。
那隻有證明步驟,是論文上的內容,每一個步驟還需要詳細的講解。
張碩的研究內容並不多,全部放在紙上大概三頁就足夠了。
但是,難度更高,要理解並不容易。
最開始就是方程解集的映射投影,牽扯到微分方程的研究方法,還牽扯一部分函數論的內容,解集的映射投影銜接轉換的步驟,調轉來對平方數後麵的素數進行檢驗論證。
這一部分,大概用時十分鐘。
其中每一個步驟都非常的巧妙,尤其是銜接轉換的部分,就好像是把火車頭掉轉個方向,好多人下意識覺得會拐一個大彎兒,但卻發現是尾部變成了車頭,頭部變成了車尾,頓時感覺非常的精巧。
這個部分的論證以後,研究已經完成了百分之九十。
剩下的就是首尾銜接。
在孫興利研究部分的提問環節,有個中年學者問到了關鍵問題。
張碩也談到了這個問題,“平方數的檢驗,就隻是一個判定,前麵是判定,後麵還是判定,並不牽扯素數的間隔或者範圍。”
“這個問題問的很好。”
“下個部分,就是要做首尾銜接,進行從零到一的證明……”
平方數檢驗,針對前麵還是後麵隻是一個判定,並不是確定多大範圍內存在素數。
前麵和後麵進行銜接,也就是把N的前麵,和(N+1)的後麵論證部分連在一起,再證明其至少存在一個素數,實現了從零到一的證明。
這一部分的論證難度很高。
張碩不急不慢的講著每一個變換、每一個邏輯論證,儘量讓更多的人聽明白,但到這一部分想理解就很難了,專業的學者能理解一部分,頂尖的學者才能理解的更通透一些。
前提,是必須有一個非常靈活的大腦。
這些內容已經超出了數論領域的限製,變成了多方向內容融合的思維邏輯論證。
主核心是以方程、函數的方法為主,數論方法為輔。
評審席上的專家學者都感覺有點跟不上,隻有極少數人能夠聽明白,前提是有足夠的知識廣度,頭腦也必須要非常清晰。
這時候,評審席的人都聽得很認真,生怕一個恍惚就聽不懂、跟不上了。
後排的人,也都屏住了呼吸。
絕大部分人都聽不明白,但他們知道論證到了關鍵時刻,完成這一部分論證,也就是完成了傑波夫猜想的證明。
否則,前功儘棄。
張碩的語調依舊不急不慢,就和剛才的講解沒什麼區彆,他的神態都非常平靜,真像是老師講課一樣。
當講完一個變化以後,還問一句,“明白了嗎?”
然後,繼續講解。
方程列式、推導、解集證明等部分都已經完成,最後就都是邏輯論證了。
“趨近a的部分,等價a+a,若是a到a不存在素數,根據②可知,a+a+1……”
“趨近(a+1)的部分,等價(a+1)-(a+1),若是(a+1)-(a+1)到(a+1)不存在素數,根據③可知,(a+1)-(a+1)-1……”
“很明顯,a到(a+1)之間,分成了兩部分,如果兩個部分都不存在素數,那麼根據以上結論,結合①、④、⑤,可知最中間的數字必定是素數。”
張碩一口氣說完放下了筆,回身走到中間。
報告廳一片安靜。
前排評審,再包括聽了全部內容的學者們,都認真聽著白板以及投影屏上的證明內容。
其他人則都盯著前排評審席。
他們都沒有聽明白,也不知道證明是否完成,隻能去看前排評審席專家們的反應。
時間,過了有半分鐘。
邱成文有了動作,他的眼睛依舊停在白板上,兩隻手慢慢的撐起來,然後把掌心合在一起,“啪~~”
很輕的一聲響。
啪、啪、啪……
一下、兩下、三下……
朱浩也撐起了胳膊,緊跟著拍起了手,他的動作仿佛具有擴散效應,先是評審席,之後是座位附近的學者,然後快速擴散到整個報告廳。
“呼啦啦~~~”
所有人都鼓起了掌。
掌聲越來越大,越來越高,傳到了報告廳門口,讓附近的小花園都能聽的清清楚楚。
每個人都在鼓掌,每個人都在驚歎著。
掌聲,伴隨著一個個喊聲傳遞出去,“邱院士肯定了,評審已經確定證明很完善!”
“沒問題了,報告完成,傑波夫猜想被證明了!”
“傑波夫猜想獲證,素數分布研究的一大進展,就在四號廳!”
“去看看,傑波夫猜想獲證!”