# 關於 OCME

OCME（開源中文數學百科）持續以中文與英文同步提供知識、教學推導、練習與證據；名稱保留其起點，閱讀入口已是中英雙語。

中英逐題詳解36,000

知識物件302

概念導讀299

學習路徑59



## 如何讀懂驗證狀態



## 逐題詳解

36,000 題完成第二對話 AI 數理與中英語義覆核；0 題仍為顯示／符號檢查候選。





## 形式化證據

5 份 Lean 形式證據連結 4 個知識物件；另有 298 個物件尚未登錄形式證據。

[查看精確聲明與 Lean 原始碼](/zh-Hant/formal/)



## 來源與覆核分開

原題保留 candidate、英文保留 ai_candidate。二次 AI 覆核不是人工審查，也不是全庫 Lean 證明；有限案例只支持明示範圍。









## 公開資料與閱讀方式

HTML、Markdown 與 JSON 來自相同的公開資料。搜尋、篩選、分頁與中英切換保留網址狀態；題號與既有詳解連結繼續有效。

數學原始資料、公式、AST、來源快照與修訂歷史保留。ISQL-M／SREG 屬內部研究，未在這次網站更新中公開。

[AI／純文字閱讀入口](/llms.txt) · [公開現況資料 JSON](/data/site/catalogue.json)

協作與發布原則內容生成、雙語檢查、數理覆核、來源採用、形式證明及發布是不同步驟；每份證據只支持其精確聲明。更新不等於提升 Canonical 真值狀態。

CC BY-SA 4.0 · MIT · EveMissLab



技術治理：R1–R7 與角色分工可信任來自可見的範圍、可重播的程序、未被刪除的異議，以及人類仍然保有的決定權。



## R1 · 狀態與事件

把物件、主張與轉移保存成可驗證事件。



## R2 · 物化佇列

從 Atlas 推導依賴安全的工作批次。



## R3 · 設計／建造／驗證

角色輸出遵循明確合約，不直接改 Canonical。



## R4 · 機械信任

把測試結果綁定到候選 revision。



## R5 · 風險與分歧

高風險、同源偏誤與未解異議不被壓平。



## R6 · 真實 Provider

以憑證邊界連接外部模型，保存實際模型版本。



## R7 · 高階裁決

保留給跨領域整合與嚴格數學審查。



## 三層分工，權限不混淆



## 日常主架構

網站、選題、研究包、MKO、人工觸發批次、發布與跨角色整合。

高頻 · 主責



## 高階數學審查

由前沿模型低頻進行全庫嚴證與架構整合，完成前先討論。

低頻 · 高風險審查



## 批量出題

由經核准的高速模型在使用者啟動後，依 brief 生產每批 100 道候選題。

手動啟動 · 候選生產