← Lebesgue 萬有覆蓋問題 / 二 · 計算與重現 / Round 30 · A1 重播與後端釘選

Lebesgue 萬有覆蓋問題 二 · 計算與重現 Round 30 · A1 重播與後端釘選 懸衡 PARTIAL PASS

Round 30:整個分片在此處再次通過,第二套實作的下界帳本依它自己的規則逐葉回來;那條規則每個方向只留一個接觸點,所以它最薄的葉量到的是規則的損失,而不是幾何

根重播、標記 70 的界、全部 9,278 片下界葉、根更正、鎖的腳本雜湊與 libmp 釘選、分片記錄 PASS;分片在上半部的實作層級 A1 PARTIAL——標記重播是 Round 29 的稽核列,出自帶有產生器支撐程式、法向與密度的腳本。

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

連接 · Connections

重算報告 · Runs

RUN-033Round 30:整個分片在此處再次通過,第二套實作的下界帳本依它自己的規則逐葉回來;那條規則每個方向只留一個接觸點,所以它最薄的葉量到的是規則的損失,而不是幾何

判定:根重播、標記 70 的界、全部 9,278 片下界葉、根更正、鎖的腳本雜湊與 libmp 釘選、分片記錄 PASS;分片在上半部的實作層級 A1 PARTIAL——標記重播是 Round 29 的稽核列,出自帶有產生器支撐程式、法向與密度的腳本。

報告(英文原文)、程式與 gate log:報告 RUN-033.md · run033_round30_a1_replay.py · gate log run033-round30-a1-replay.json

展開後載入…