OCME · 中英數學知識與推導

讀懂數學，沿著推導往前走。

為中文、英文讀者與 AI 共建的數學知識系統：從概念與成立條件，走到例題、逐步推導及可追溯的證據。

從你需要的地方開始

逐章閱讀數與運算、代數、幾何，以及集合、邏輯與證明，或下載PDF。

閱讀定義、條件、關係與精確公式。

299 份概念導讀，與逐題詳解分開查找。

360 個題批；每題均可連到中英詳解。

看原始 Lean、精確機器聲明與驗證界線。

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

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

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

Core80 保留穩定的基礎骨架；目前完整地圖含 302 個節點。知識物件、概念導讀、題目與形式化證據是不同層次，可沿著相互連結閱讀。