《從數論開始封神》第209章 人機共證黎曼猜想(1)

作者:前路何往·11天前

雖然他們已經設了很多程式,儘量彌補這些缺陷,但一遇到頂級難題,比如這個黎曼猜想,就開始原形畢露,還是有明顯的差距啊!

“【元】,幫我檢索有關黎曼猜想的論文,共有多少篇?”李青詢問道。

【經檢索,有關黎曼猜想的論文共有11314篇。】

“按重要性等級分類一下。”

【奠基文獻,1篇:黎曼1859……;】

【里程碑式文獻,9篇:素數定理證明,塞爾伯格……】

【頂尖文獻,50篇;零點密度、隨機矩陣……】

【核心文獻300篇……】

【專業文獻3000篇……】

【邊緣文獻7954篇……】

李青看著分類好的文獻等級點點頭,繼續道:“將里程碑式文獻和頂尖文獻搜尋出來,並對內容進行分析整理,按照核心證明方法思路、過程、結果……全部拆解出來,打包成檔案,發到電腦上。”

【請稍等,預計時間5分鐘。】

趁這段時間,李青則坐起身活動了下身體,順便泡了壺茶過來。等他回來時,檔案已經發送完畢。

他點開一個個開始看起來。

每一個檔案他都看得非常仔細,【元】已經將各種論文內容分析出來,他也不用看全篇文獻。

這個時間比較漫長,哪怕羅列得再清晰,李青也要在腦中思考一遍,這一看,就花費了三天時間。

過程中,他的腦海裡盤旋著非常多的靈感和思路;這些思路一齣現,他就都記了下來。

有時會讓元自己推導一遍。

慢慢地,對於黎曼猜想的證明思路,李青已經醞釀了完整路徑的想法。

又是三天過去,他已經完全梳理了一遍所有節點,打算和【元】聯合,按照這個思路進行推導。

來到算力計算室。

“【元】,算力資源這幾天有人申請使用嗎?”

【近3天沒有人申請使用。】

李青心中已明瞭,讓系統連線算力資源庫,而後開始在控制中心輸入自己的證明方向。

【警告,現有資料庫並無該種證明方式,是否確認按此種方向繼續證明?】

“確認!”

【該種證明方式經檢查是新的數學框架,系統正在調整當中,請稍後。】

…

】。令指輸請,畢完整調【

:令指明證條一第達下】元【給,氣口一吸深青李

”。式示表式顯的核出輸,核化機隨非義定新重,源來定正為作造構的輸我用“

】。明證完法無,證未定正,證未伴自的T但,度點浮在差誤,配匹個6^01前點零ζ與譜。T元算運造構,功義定核化機隨非【

”。來步一步一,續繼們我,急著不“:聲一笑輕青李

】步一下示指請【

”。伴自T出推,變不下G在K若,……,生元生個三下以由G,變不下G群換變在K核證驗“

。令指達下續繼,後題問有沒認確,容的出輸元了查檢青李

。鐘分51了跑】元【讓令指個這

:為出輸後最

】。查檢工人需件條斂收步三第,步二十構結明證,立伴自T,變不下G在K【

】…【

。式程輸加令命語言,樣一果結的想預和,步三第了查檢青李

”。散離譜出推,立若,……式形,件條的核證驗,放權加的5.2數指用“

。來出果結,右左鐘分51是又

】…【

】查檢工人需計估界邊的3.2理引,散離譜,足滿件條【

。輸新重,點一了收計估界邊把整調手青李

】立果結【

:道青李著接

”。告報並止停,項差誤出超差偏階某若,表照對數係出輸,階一配匹每,開展近漸配匹階逐始開階一第從,數導數對ζ與和求譜的T線連式公跡用“

。上以時小個半要計預,醒提都己自它連,了慢更果結出輸】元【次一這

。果結的出輸前之查檢是而,著坐乾兒那在地呆呆有沒也,旁一在坐地心耐就青李

猜你喜歡

同題材或同分類的其他作品。