← AMRAL · PROGRAM-NS

NS 研究特區

Navier–Stokes Research Zone · 三維不可壓縮 Navier–Stokes 全域正則性問題,Clay Millennium Prize 問題之一

這裡原本只有一條子線(NS_O,framework+C1 至 C6,共 67 篇,已完整建置)。2026-08-30 盤點原始 投遞資料夾時發現,實際累積的 Navier–Stokes 相關研究遠不只這一條——NS_O 之外另外還確認 15 條獨立子線,全站合計 16 條子線、約 529 個原始檔案,而且數量仍在持續增加中, 確切總數尚未封頂(其中第 16 條 NS-INRS 是 2026-08-31 建置 NTLA-O 時,發現原本被算進 NTLA-O 檔案數裡的 63 個檔案其實是獨立研究,才拆分出來的——不是新發現的原始檔案,是重新分類)。 這個頁面是所有子線的統一入口:先列出目前的盤點狀態,子線內容會依序逐步建置上線,不是一次到位。

子線之間偶有名稱相似但內容不同的情況——例如兩批不同的 NS_DCRP 編號檔案,是研究者用不同理論視角 重新處理「同一批編號論文」所產生的平行結果,不是重複或版本衝突,兩批都會保留。

建置過程中逐輪讀取各子線自身的「交接文件」,拼出一條完整的十一段研究血緣——每一輪封階時都會明講交棒給下一個 計畫,像接力賽一樣:NS-RFP(Cycle I)→ NS-CSP(II)→ NS-DRC(III)→ NS-ANP(IV)→ NS-CFOP(V)→ NS-FCBP(VI)→ NS-MORP(VII)→ NS-DCRP(VIII)→ NS-IDRP(IX)→ NS-TSKR(X)→ NS-RKAP(XI,目前前沿)。 十一段全部已建置上線,每一輪的關聯都是從原始檔案裡讀出來確認的,不是憑編號猜的。NS-RFP 這條起點還與 NS_O 自身的 C3 系列直接交織,建置過程中發現 NS_O 現行上線的 C3-O 輪次不是 最新版本,已於 2026-08-31 更新為修正後的 v0.2,細節見 NS-RFP 頁面與 C3-O 頁面本身的版本說明。

建置 NS-RMRM 時發現它不是第十二條血緣,而是 NS-DCRP(Cycle VIII) 本身的 52 版本過程日誌——checkpoint 版本號與 DCRP 輪次一一對應,已如實揭露而非重複建置。同一次核對也 發現 NS-DCRP 首頁先前漏建 DCRP-01、02 兩輪(誤植為「只有 zip、無法建頁」),已回頭補建,NS-DCRP 從 53 篇修正為完整 55 篇。

2026-08-31,同一天內又發現第十六條子線:建置 NTLA-O 時,原本以為它的 117 個「交叉引用檔案」是研究者用 NTLA-O 觀察者視角重新處理 NS-DCRP 同編號論文的平行結果。逐篇讀取 frontmatter 後發現這個說法只對一部分成立——實際上是 63 篇自稱「Independent Navier–Stokes Research Series」的真正新研究,從 DCRP42 分支出去,一路編號到 DCRP105,原文自己在 DCRP60 明講「DCRP/X72 複合編號 正式起算」。已獨立建成 NS-INRS 子線,不再算作 NTLA-O 的附屬項目。

關於作者歸屬:AMRAL(Autonomous Mathematical Research Agent Loop)本質上是 AI 自主研究 迴圈——絕大多數輪次的具體數學推導、證明策略、乃至許多輪次自己提出的技術框架,都是 AI 在研究者設定的方向下 自主產出的,不是研究者本人逐行推導。原始檔案的 author 欄位一律寫「Neo.K / EveMissLab」, 這是計畫掛名,不區分「這篇是研究者自己想的」與「這篇是 AI 自主研發的」——兩者在檔案層級無法單靠 metadata 分辨。目前站上唯一明確標記為研究者本人原創理論的是 NTLA-O(把「兩個結構是否不同」 提升為「相對哪個觀察者才判定為不同」的核心構想)——凡是頁面上寫著「研究者原創理論」的地方,指的就是這個 意義下的作者原創,其餘子線(包含十一段接力血緣、NS-RMRM、NS-X72、NS-INRS)都應讀作 AI 主導的系統性研究成果—— 即使 NS-INRS 早期輪次直接運用了 NTLA-O 的觀察者/規範區分工具,實際的數學推導與證明策略仍是 AI 產出的。 這條界線目前只有這一項明確記錄,如果之後想起還有其他子線的核心構想是研究者本人提出的,回來告訴我們, 這裡會補上。

2026-08-31 完成 NS-X72——71 輪「純連續證明路線」實驗加 2 篇方法論基礎文件,與十一段接力 血緣完全獨立,規模是當時全站最大的單一子線。同一天稍後,建置 NTLA-O 時又拆分出 NS-INRS(63 輪,見上方說明),成為規模第二大的子線。至此 16 條子線 全部已建置上線,不再有「已盤點、尚未建置」的項目——子線規模本身仍可能持續增長,但目前 已知的每一條都有對應網站內容。

2026-09-03 新增第 17 條子線:NS-GSM,性質跟前 16 條完全不同——不是研究 論文,是把獨立方法論系列閉包空間數學論(CSM)套用到既有 NS 研究本體上的可執行 Reference Runtime 軟體與稽核紀錄(種子資料集 + v0.1 至 v0.7,共八個版本)。它不增加新的研究論文篇數,只是逐版稽核既有 文件——全程 root formal NS、C1、C2 維持 OPEN,只有 13 個窄範圍局部引理/定理沿內部權威階梯上升。CSM 本身 (十篇方法論論文)已獨立成案例上線,兩者皆已翻譯成英文,見 EN 版。