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

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

Round 08:平滑曲率層高出事件五連桿 1.0581952124×10⁻⁵,這個增益是真的——獨立程式與 40 位算術都確認;但它發布的曲線檔不是那個候選

PARTIAL。標題值 0.998914339084632 重現;事件五連桿在曲線中不是局部極大,本輪自己的保留說法把這一點留作未決;但發布的曲線檔不是候選(當作曲線讀,是 0.998794830);印出的曲率位數是格點的;有限寬度稽核把 1.05×10⁻⁵ 的增益寫成「約 10⁻⁶」;雲點註記的「兩種方法差」是相位差,不是兩種方法的差。

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

連接 · Connections

重算報告 · Runs

RUN-009Round 08:平滑曲率層高出事件五連桿 1.0581952124×10⁻⁵,這個增益是真的——獨立程式與 40 位算術都確認;但它發布的曲線檔不是那個候選

判定:PARTIAL。標題值 0.998914339084632 重現;事件五連桿在曲線中不是局部極大,本輪自己的保留說法把這一點留作未決;但發布的曲線檔不是候選(當作曲線讀,是 0.998794830);印出的曲率位數是格點的;有限寬度稽核把 1.05×10⁻⁵ 的增益寫成「約 10⁻⁶」;雲點註記的「兩種方法差」是相位差,不是兩種方法的差。

報告(英文原文)、程式與 gate log:報告 RUN-009.md · corpus.py · run009_round08_smooth_layer.py · gate.py · gate log run009-round08-smooth-layer.json

展開後載入…