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

作者:前路何往·11天前

隨著一聲提醒,結果輸出彙報。

【第一至五階匹配,一致】

“繼續,第六到第十階。”李青迅速開口。

這個指令,【元】輸出的非常快。

【第六至十階匹配,一致,第十階偏差量級在允許誤差的80%處】

“第十一到第十二階。”

【第十一、十二階匹配,但第十三階出現偏差,量級超出誤差項。停止】

李青眉頭緊皺,盯著報錯提示的地方,冷靜思考。

片刻後,他連下七條修正指令:

“調整截斷函式引數α從0.5到0.7,重算第十三階。”

【偏差縮小但不消失,從超出閾值150%縮到120%】

“換漸近展開基為B2,用Herte多項式基重算第十三階。”

【基不匹配,偏差增大】

“把跡公式餘項從平滑截斷改為Hardy-Littlewood截斷,重算。”

【餘項發散】

方案四到七,全部被否決。

李青並沒有被影響到。

“換用帶振盪因子的截斷核K_osc,權重函式為W(x)=sin(λx)/x,λ=2π,重新計算第十三階,若匹配,繼續算第十四、十五階,注意此核不光滑,調整收斂性檢驗閾值……”

【收到指令,預計需一個小時,請耐心等候】

一個小時後。

【第十三階匹配,第十四階匹配,第十五階匹配】

“搜尋所有翻譯路徑,列出可行但未驗證的路徑。”

這次元給出了上千條路徑,李青又讓他把這些路徑按可行性從高到低排列出來,最終從第一條路徑開始試驗。

第一條路徑是推導正定性,這條路徑需要交換條件,李青讓【元】把所有額外假設都列出來。

【元】輸出的結果,雖然假設成立,路徑能夠走通,但這種方法風險開始變高,還涉及一些未證假設。

思索一番,李青將這一路徑否決,嘗試下一個路徑。

第二條路徑是輸出常數項以及推匯出引數,截斷常數項依賴。

【常數項C(N)=c?+c?/N+c?/N2+…】

。敗失是還以所,變不斷截項數常,明表果結一這

。法方的立式等不定正到找到直,試嘗續繼

。了到找他,中當試嘗的天三第在,於終

】……:下如構結明證出輸。立式等不定正,1≥N有所對,關無N與…3710.0=C數常在存,立步一第【

。導推寫構結按青李

。稿草導推的頁十二了寫書,證驗青李經果結

。統系輸導推些這將又就他後而

”。置位告報,誤錯現出若,理合否是證驗,導推頁十二下以證驗“

】中當驗核查檢,到收【

】……【

】立定正【

】足滿件條式公式顯【

】完明證想猜曼黎【

”!吧文論理整就那,立經已然既明證“

】到收【

。後鐘分5

】改修可,理整未分部謝致,青李為名署……分共,改修行進可,》明證的想猜曼黎《為目題,頁261共,畢完理整文論【

:道口開次再,瞬一默沉青李

”。可即程過的究研錄記實如,分部謝致,】元【和青李為改修名署“

】畢完改修已【

】取收請,印列已【

。結完麼怎該書本這想想要需我,天一假請天明:SP

猜你喜歡

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