← AMRAL · PROGRAM-AMRR

AMRR 自主數學研究 Runtime

Autonomous Mathematical Research Runtime · 四篇論文 + 技術白皮書

跟 CSM 一樣,AMRR 不是攻打某一個具體猜想,而是一套關於「AI 怎麼自主進行數學研究」的方法論與可執行架構—— 但 CSM 處理的是研究狀態本身該怎麼組織成可驗證的閉包空間,AMRR 處理的是更下游的問題:一個系統要具備哪些 機制,才能在問題本身不完整、定義有缺口、方法不足時,自己診斷缺的是什麼、在受約束條件下補出缺失數學、 並證明自己沒有偷偷把問題換掉。核心提出三套機制:Mathematical Domain Gap Map (把研究卡住的原因拆成 13 個獨立域)、Constrained Mathematical Domain Completion, CMDC (受約束數學域補全,每次生成都要背負對應數學義務)、Problem Identity Protocol (禁止「數學洗白」——把加了假設證出的結果報告成證出原問題)。三者疊加在 ACR(Addressable Cognitive Runtime, 一個更通用、獨立、已有自己 6 篇理論與 MVP 的認知 runtime)之上,合起來定義 AMRR。

誠實的工程進度:AMRR 規劃了 M0 到 M11 共 12 個實作階段。本站直接查核了與四篇論文、白皮書 同批交付的程式碼——獨立重新實作雜湊演算法、獨立驗證所有 schema 與範例、逐一核對 SHA-256,不只是讀文件 宣稱——確認 M0(19 個數學 schema 凍結)、M1(數學狀態轉接器)、M2(Problem/Theory/Assumption 版本化儲存)三個階段真的做出來了,程式碼、schema、測試都是真的,不是空殼。但這三階段做的事情是 「定義詞彙」「描述現況」「把版本存起來」。M3 到 M11 這九個階段——診斷研究卡在哪裡、生成修補候選、 追蹤數學義務、把宣稱路由給對的驗證器、建立理論橋接、跑一個不需要人類每步提示的持續研究迴圈——目前一行 程式碼都沒有,不是部分完成。也就是說「Autonomous Mathematical Research Runtime」這個名字現在 承諾的是自主研究,但目前只有檔案櫃,還沒有會思考的東西。M11 自己的驗收條件也明講:要先在「受控數學研究 沙盒」裡跑 50–100 次自主研究轉換,明確排除直接拿去解真正的未解問題;整個套件也刻意零依賴 LLM 或任何數學 引擎,是 M0–M2 本身的範圍限制,不是疏漏。