← AMRAL · PROGRAM-CCM

計算複合方法論

Computational Composite Methodology · 建置中

跟這裡其他案例不同,CCM 不是攻打某一個具體猜想,而是一套關於「數學研究過程本身該怎麼組織」的方法論理論。 核心主張是方法論而非本體論的:數學研究可以表示成一個不斷變化的狀態,裡面有多種表示法、搜尋算子、證書語言、 障礙、成本模型、路徑歷史彼此互動。CCM 把常被混為一談的四個概念正式拆開—— 真理、方法覆蓋、搜尋成功、驗證——並證明一條核心防火牆定理:只要終局的正/反判斷都經過健全的 驗證器把關、且每一次表示轉換都保持證書語義,路由過程可以是完全啟發式甚至 AI 生成的,結論依然嚴謹。

13 個「校準基準測試」(Benchmark 01-13)橫跨極值圖論、數論半群、遞迴、SAT/組合、矩陣代數、線性規劃對偶、 Farkas 引理、凸性、多項式非負性、複合路由、證書庫擴張、成本感知路由、線上自適應路由——文件明確聲明這些是 「理論的經驗見證,不是理論本身」。另有一條獨立的 18 輪深入應用系列,把 CCM 用在現代希爾伯特第三問題 (剪刀全等 / Dehn 不變量)上。