雖然他們已經設了很多程式,儘量彌補這些缺陷,但一遇到頂級難題,比如這個黎曼猜想,就開始原形畢露,還是有明顯的差距啊!
“【元】,幫我檢索有關黎曼猜想的論文,共有多少篇?”李青詢問道。
【經檢索,有關黎曼猜想的論文共有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線連式公跡用“
。上以時小個半要計預,醒提都己自它連,了慢更果結出輸】元【次一這
。果結的出輸前之查檢是而,著坐乾兒那在地呆呆有沒也,旁一在坐地心耐就青李








