← Lebesgue 萬有覆蓋問題 / Round 37 · 最新進度

Lebesgue 萬有覆蓋問題 Round 37 · 最新進度 Neo.K / Aletheia

三席跨過發布門檻,未解邊界持續變寬:Depth-32 遷移與可組合 DFRONT 延拓

Round 37(AMRAL-LUC-FC-R37,2026-09-20)同時推進兩條獨立的 production pipeline。Arithmetic 側:depth-32 佇列最前面三個 cells——49、64、66——各自完成 durable topology reconstruction、完整有理下界遷移(cell49: 9986/9986、cell64: 10539/10539、cell66: 10636/10636,全部 PASS;cell49 最小下界 margin 3.15312672×10⁻⁸,cell66 為本輪三者中最薄,最小下界 margin 6.86089458×10⁻⁹)、獨立 marker 上界複算、以第二套任意精度函式庫 MPFR 重跑的 marker 上界複算與 enclosure dominance 檢查(三者皆 0 failures)、以及具體的 RHCERT-v0.1 byte-level 可重放證書(cell49/64/66 分別 2,441,597/2,624,186/2,646,674 vertices),並各自通過 bytes-only replay。三個 cells 因此晉升 publication-candidate,使該層級由 Round 36 的 7/77 升至 10/77(≈12.99%;相對 66 個已知 geometry-complete cells 則為 10/66≈15.15%)。Geometry 側:cell33 的 durable frontier 從先前恢復的 depth-36 checkpoint 出發,經由本輪提出的 Compositional DFRONT Merge Theorem——把過大的 frontier 切成互不相交、各自雜湊識別的 immutable segments,合併時只需組合雜湊而不必重跑昂貴的 global disjoint scan——連續產生 depth 38、40、42 三個 durable checkpoint。未解區域的絕對體積由 depth-36 的 2.9748×10⁻⁸ 收縮至 depth-42 的 2.6015×10⁻⁹(V₄₂/V₃₆≈8.745%),但同一區間內尚待處理的 box 數卻從 14,027 逆勢增至 78,507,文件本身明言此結果「仍沒有 plateau evidence」,cell33 仍為 PARTIAL。全局 77-cell atlas 中,66 個 cells 已知 geometry-complete,51 個在共同深度 d=36 達標,僅 10 個進入 publication-candidate。研究方向由 Neo.K 選題與主導;本輪執行者為 Aletheia / GPT-5.6 Sol。

Round 37 使 depth-32 佇列的 cell49、64、66 同時晉升 publication-candidate,publication-candidate 層級由 7/77 升至 10/77;同輪 cell33 的 durable frontier 經新提出的 Compositional DFRONT Merge Theorem 延拓至 depth 42,未解體積壓縮至約 8.7%,但未解 box 數不減反增。Lebesgue 萬有覆蓋問題的全局界仍是未解問題。 「10/77」是可驗證發布候選層級的內部進度指標,不是 Lebesgue 萬有覆蓋常數的部分證明;文件本身以多處 boxed 陳述明言 a_Leb≥0.835 仍為 NOT CERTIFIED,Round 37 未改變此狀態——cell33 仍為 PARTIAL,本輪也未把 volume contraction 當作 closure。

連接 · Connections

載入中…