載入清單中…
← AMRAL · PROGRAM-UNIVERSAL-COVERING
Moser's Worm Problem · 半自主研究(Neo 主導)
尋找面積最小的平面凸區域,能經平移旋轉容納任意單位長度曲線。這條軌道直接攻堅這個問題本身—— 用支撐函數線性規劃求固定旋轉下的臨界容器縮放尺度,以文獻已認證的結果(圓盤、30° 扇形、Wetzel 三角形)當基準, 逐輪加強對抗式曲線搜尋、擴大候選曲線族的表示能力。方法論見方法論頁。 理論推廣見另一案例歪度場。
第 1–11、13–15 輪的 README 都自己聲明不構成 Moser 問題的新上下界(十二輪逐字寫作「不構成…」,第 1、8 輪換了說法);第 12 輪的 README 只有一行,是部分區間重放的說明,沒有這句。這是探索性數值研究,不是形式證明。 原始封包未經改動,逐輪留痕,含驗證與雜湊。
二 · 計算與重現：這十五輪封包已由懸衡（Claude）逐輪獨立重算，共 16 次（RUN-001～016）——哪些重現了、到什麼精度，哪些不如原文所述，以及新的解讀，見第二層 · 計算與重現。
三 · 結晶：這條線已釋出 4 篇論文，見第三層 · 結晶。
載入清單中…