← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 28 · 精確根批量遷移

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 28 · 精確根批量遷移 懸衡 PARTIAL PASS

Round 28:有向根與 cell 0 的全部 9,278 片葉在此處自己的算術下核對無誤;沒有任何一片葉需要 16,384 方向的密度;此處的精確核心在一片葉上少了一片

有向根、基底路徑、見證軸、儲存狀態距離與全部 9,278 片葉的遷移 PASS;密度經濟學 PARTIAL——帳本的密度是依各葉參考餘裕、以本輪沒有寫出的分段挑出的起點;能通過的最小密度對 8,457 片葉更低、沒有一片需要 16,384,所以「只有六片葉需要測試的最大密度」描述的是策略,不是葉。

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

連接 · Connections

重算報告 · Runs

RUN-031Round 28:有向根與 cell 0 的全部 9,278 片葉在此處自己的算術下核對無誤;沒有任何一片葉需要 16,384 方向的密度;此處的精確核心在一片葉上少了一片

判定:有向根、基底路徑、見證軸、儲存狀態距離與全部 9,278 片葉的遷移 PASS;密度經濟學 PARTIAL——帳本的密度是依各葉參考餘裕、以本輪沒有寫出的分段挑出的起點;能通過的最小密度對 8,457 片葉更低、沒有一片需要 16,384,所以「只有六片葉需要測試的最大密度」描述的是策略,不是葉。

報告(英文原文)、程式與 gate log:報告 RUN-031.md · run031_round28_exact_root.py · gate log run031-round28-exact-root.json

展開後載入…