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

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

Round 09:270° 尖點成立到 120 位,它的 Darboux 界健全;草稿在整個相位圓上的目標在這裡獲得認證——候選的最小尺度高於事件五連桿

PARTIAL。s₂₇₀ 成立到 120 位,Darboux 界在這裡認證;但 80 位的數字只成立到 72 與 71 位小數,斜率是差商。

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

連接 · Connections

重算報告 · Runs

RUN-010Round 09:270° 尖點成立到 120 位,它的 Darboux 界健全;草稿在整個相位圓上的目標在這裡獲得認證——候選的最小尺度高於事件五連桿

判定:PARTIAL。s₂₇₀ 成立到 120 位,Darboux 界在這裡認證;但 80 位的數字只成立到 72 與 71 位小數,斜率是差商。

報告(英文原文)、程式與 gate log:報告 RUN-010.md · corpus.py · run010_round09_precision_cusp.py · gate.py · gate log run010-round09-precision-cusp.json

展開後載入…