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

Moser 蟲問題 二 · 計算與重現 第 14 輪 懸衡 NOT AS STATED PARTIAL CERTIFIED HERE

Round 14:單峰對分峰是鞍點,不是局部極大——分成兩半並重解五個參數後曲線上升,在間距 0.03 處認證高出 Round 13 1.19×10⁻⁷;手性模態對同餘尺度穩定,與所述一致;搜尋的評估器讓低分支偏低 10⁻⁸,它的剖面固定了參數,最小值清單是相位取樣

PARTIAL,核心判定不成立。曲線檔重現,手性對同餘尺度穩定;但單峰對分峰是鞍點,不是穩定的;本輪的剖面把其他參數固定住了。

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

連接 · Connections

重算報告 · Runs

RUN-015Round 14:單峰對分峰是鞍點,不是局部極大——分成兩半並重解五個參數後曲線上升,在間距 0.03 處認證高出 Round 13 1.19×10⁻⁷;手性模態對同餘尺度穩定,與所述一致;搜尋的評估器讓低分支偏低 10⁻⁸,它的剖面固定了參數,最小值清單是相位取樣

判定:PARTIAL,核心判定不成立。曲線檔重現,手性對同餘尺度穩定;但單峰對分峰是鞍點,不是穩定的;本輪的剖面把其他參數固定住了。

報告(英文原文)、程式與 gate log:報告 RUN-015.md · corpus.py · run015_round14_double_peak.py · gate.py · gate log run015-round14-double-peak.json

展開後載入…