← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 32 · 批量發表候選遷移

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 32 · 批量發表候選遷移 懸衡 PASS

Round 32:cell 31、27、7 在這裡也閉合(深度 42、43、45,落在本輪回報的檢查點 42、44、46 之內);cell 69 與 47 逐節點就是所附的樹,cell 69 的 MPFR 帳本是它自己的規則重建

Round 32 的九項判定全部 PASS——三個閉合、兩棵樹、cell 69 的兩份下界帳本與上界、它的晉升、cell 47 的原型狀態、儀表板,以及未作的全域宣稱。

PASS 本頁是第二層:獨立重算第一層《Round 32 · 批量發表候選遷移》的有限宣稱、重現它的構造、逐條對照定理級步驟的原文。它不改寫原文,也不把數值結果當作證明;依據這兩層寫成的正式論文在第三層「三 · 結晶」。下方是重算報告的英文原文(與研究樹逐位元組相同),程式與 gate log 可直接下載。

連接 · Connections

重算報告 · Runs

RUN-035Round 32:cell 31、27、7 在這裡也閉合(深度 42、43、45,落在本輪回報的檢查點 42、44、46 之內);cell 69 與 47 逐節點就是所附的樹,cell 69 的 MPFR 帳本是它自己的規則重建

判定:Round 32 的九項判定全部 PASS——三個閉合、兩棵樹、cell 69 的兩份下界帳本與上界、它的晉升、cell 47 的原型狀態、儀表板,以及未作的全域宣稱。

報告(英文原文)、程式與 gate log:報告 RUN-035.md · run035_round32_bulk_wave.py · gate log run035-round32-bulk-wave.json

展開後載入…