← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 35 · RHCERT 量產

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 35 · RHCERT 量產 懸衡 PARTIAL PASS

Round 35:cell 68 的證書逐葉就是此處自己的——2,126,336 個頂點全部在此處核對無誤;cell 75、76 也驗證通過;遺失的前沿只記錄、不猜測

cell 68 的證書與晉升、cell 75 與 76 的下界、標記 75 與 76 的獨立上界重播、稽核與階段計數、不宣稱幾何的決定 PASS;把獨立重播與 MPFR 重播配對的兩項標記判定 PARTIAL——MPFR 記錄沒有附上,其算術也不在此處。

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

連接 · Connections

重算報告 · Runs

RUN-038Round 35:cell 68 的證書逐葉就是此處自己的——2,126,336 個頂點全部在此處核對無誤;cell 75、76 也驗證通過;遺失的前沿只記錄、不猜測

判定:cell 68 的證書與晉升、cell 75 與 76 的下界、標記 75 與 76 的獨立上界重播、稽核與階段計數、不宣稱幾何的決定 PASS;把獨立重播與 MPFR 重播配對的兩項標記判定 PARTIAL——MPFR 記錄沒有附上,其算術也不在此處。

報告(英文原文)、程式與 gate log:報告 RUN-038.md · run038_round35_rhcert_production.py · gate log run038-round35-rhcert-production.json

展開後載入…