← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 27 · 首個精確證書

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 27 · 首個精確證書 懸衡 PASS

Round 27:在共同深度 40,殘餘的下界是精確的(57 格到 38、63 格到 40);最薄的五片葉在此處自己的整數區間下再次驗證,另外七片也是

全部 PASS。

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

連接 · Connections

重算報告 · Runs

RUN-030Round 27:在共同深度 40,殘餘的下界是精確的(57 格到 38、63 格到 40);最薄的五片葉在此處自己的整數區間下再次驗證,另外七片也是

判定:全部 PASS。

報告(英文原文)、程式與 gate log:報告 RUN-030.md · run030_round27_interval_replay.py · gate log run030-round27-interval-replay.json

展開後載入…