← LOGIC MATRIX 主站 · EVEMISSLAB
Autonomous Mathematical Research Agent Loop · 自主數學研究代理循環
這裡在試一件還沒有答案的事:讓 AI 用結果誘導的中介命題生成(RIITG)、逆向公理回填(RAB)跟知識條件化類窮舉(KCPE), 對一個真實的數學問題反覆迭代研究——不是回答一道題,是持續更新一個研究狀態。 方法論本身還是草稿,沒有一般性證明;案例研究的原始資料原樣封存,包括沒閉合的部分。
黎曼猜想是第一個案例,不是終點。CASE-0001 掛在希爾伯特第八問題底下:
PROGRAM-HILBERT-23 → H08 → 黎曼猜想 → Weil 二次型研究 → Batch 01。
主張很直接:已被證明的問題,仍然可以被重新研究;答案的存在,不等於研究路徑的終結。
往後每個新案例走同一套節奏——Batch、W 系列工程包、封卷、平台匯入包——AMRAL 這個名字不變,會變多的只是案例。
目前只有一個案例上線。下一個希爾伯特問題開始的時候,選單會多一項,不是重寫這頁。