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

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

Round 03:五連桿與七連桿的值重現;七連桿族包含每一條五連桿曲線,所以「七不如五」是搜尋沒有走到

PARTIAL。三個臨界尺度重現到 1.4×10⁻¹³;但七連桿族包含每一條五連桿,七連桿低於五連桿出自搜尋,不是族的性質;兩端都落在斜邊上,是強加的鏡像對稱造成的。

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

連接 · Connections

重算報告 · Runs

RUN-004Round 03:五連桿與七連桿的值重現;七連桿族包含每一條五連桿曲線,所以「七不如五」是搜尋沒有走到

判定:PARTIAL。三個臨界尺度重現到 1.4×10⁻¹³;但七連桿族包含每一條五連桿,七連桿低於五連桿出自搜尋,不是族的性質;兩端都落在斜邊上,是強加的鏡像對稱造成的。

報告(英文原文)、程式與 gate log:報告 RUN-004.md · corpus.py · run004_round03_symmetric_links.py · gate.py · gate log run004-round03-symmetric-links.json

展開後載入…