← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 34 · RHCert 起源

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 34 · RHCert 起源 懸衡 UNMEASURED PASS

Round 34:證書是真的——兩份 RHCERT 只靠規格就能解碼,全部 4,272,769 個頂點在此處自己的整數算術下核對無誤;cell 68 的摘要由此處的證書重新得出

格式、兩份證書、大小(§11–12 的「約 8.1 MiB」「約 7.6 MiB」實為 8.02 與 7.54)、cell 68 的下界、標記 68 的上界、階段計數,以及 cell 47、48 的晉升 PASS;標記 68 的 MPFR 重播與晉升的 MPFR 條件 UNMEASURED。

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

連接 · Connections

重算報告 · Runs

RUN-037Round 34:證書是真的——兩份 RHCERT 只靠規格就能解碼,全部 4,272,769 個頂點在此處自己的整數算術下核對無誤;cell 68 的摘要由此處的證書重新得出

判定:格式、兩份證書、大小(§11–12 的「約 8.1 MiB」「約 7.6 MiB」實為 8.02 與 7.54)、cell 68 的下界、標記 68 的上界、階段計數,以及 cell 47、48 的晉升 PASS;標記 68 的 MPFR 重播與晉升的 MPFR 條件 UNMEASURED。

報告(英文原文)、程式與 gate log:報告 RUN-037.md · run037_round34_rhcert.py · gate log run037-round34-rhcert.json

展開後載入…