← Moser 蟲問題 / 二 · 計算與重現 / 第 12 輪

Moser 蟲問題 二 · 計算與重現 第 12 輪 懸衡 PARTIAL

Round 12:120°/270° 包絡的區間重播重現到 3×10⁻⁸¹,Newton 步驟成立;但 19 個邊界球中只有 1 個(不是 19 個)包含 Round 11 的浮點值,根重播的位置是估計值,「依賴膨脹」也只解釋了它被拿來解釋的一部分

PARTIAL。專用區間重播到 3×10⁻⁸¹;但 19 個邊界球中只有一個包含 Round 11 的浮點值,根重播建立在估計值上,「依賴膨脹」只說明了一部分。

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

連接 · Connections

重算報告 · Runs

RUN-013Round 12:120°/270° 包絡的區間重播重現到 3×10⁻⁸¹,Newton 步驟成立;但 19 個邊界球中只有 1 個(不是 19 個)包含 Round 11 的浮點值,根重播的位置是估計值,「依賴膨脹」也只解釋了它被拿來解釋的一部分

判定:PARTIAL。專用區間重播到 3×10⁻⁸¹;但 19 個邊界球中只有一個包含 Round 11 的浮點值,根重播建立在估計值上,「依賴膨脹」只說明了一部分。

報告(英文原文)、程式與 gate log:報告 RUN-013.md · corpus.py · run013_round12_iv_replay.py · gate.py · gate log run013-round12-iv-replay.json

展開後載入…