AI+數學
數學問題在 Agent 實踐中的難點
結合 First Proof、Momus、LeanMarathon、Danus 與 Aletheia 等案例，分析數學 Agent 在路線選擇、依賴管理、長證明和失敗資訊保留上的核心難點。
AI for Math · Math Agent · Multi Agent · Formal Reasoning · Proof Verification · 約 17 分鐘 ·
閱讀文章AI+數學
面向數學 AI 系統的基礎方法、技術路線與產品化思考。
AI+數學
DeepMind AlphaProof Nexus 拆解：AI 數學研究的 4 種系統範式
拆解 DeepMind AlphaProof Nexus 如何把 LLM、Lean、AlphaProof、演化搜尋和多 Agent 編排組合成面向數學研究的形式化證明系統。
AI for Math · Formal Reasoning · Multi Agent · AlphaProof · Deepmind · 約 17 分鐘 ·
閱讀文章AI+數學
AlphaGeometry DSL 教程：Google 幾何構造語言、defs.txt 與 Predicate 詳解
系統拆解 AlphaGeometry DSL 的問題格式、defs.txt action 定義、predicate 語義、rules.txt 推理規則與構造流程，適合用於幾何求解器、資料生成與 AlphaGeometry 復現。
AI for Math · Geometry Reasoning · Formal Reasoning · Geometry DSL · AlphaGeometry · 約 10 分鐘 ·
閱讀文章AI+數學
AlphaGeometry2 深度解析：Google AI 如何解決 IMO 幾何題？
拆解 AlphaGeometry2 如何把幾何推理、輔助線搜尋與符號證明結合起來解決 IMO 幾何題，並整理對數學 AI 工程的啟發。
AI for Math · Geometry Reasoning · Formal Reasoning · AlphaGeometry · Deepmind · 約 10 分鐘 ·
閱讀文章AI+數學
Google DeepMind Aletheia：完全自主研究的數學 Agent 解讀
從 AlphaGo 到 AlphaGeometry、AlphaProof，再到 Aletheia，拆解可驗證數學研究閉環的工程價值。
AI for Math · Autonomous Research · Formal Reasoning · Math Agent · Deepmind · 約 11 分鐘 ·
閱讀文章AI+數學
HKU CodePlot-CoT 深度解析：視覺推理還是幾何推理？
從可執行繪圖到幾何證明，分析 CodePlot-CoT 的優勢與結構性邊界。
AI for Math · Geometry Reasoning · Visual Reasoning · Code Generation · CodePlot CoT · 約 9 分鐘 ·
閱讀文章AI+數學
AI 與數學的融合：技術路徑、應用前沿與未來展望（2026 版）
從基準可信度、模型能力分層到架構型數學系統，梳理 AI for Math 在 2026 年的關鍵進展與產品機會。
AI for Math · Formal Reasoning · Math Reasoning · AI Benchmark · 約 11 分鐘 ·
閱讀文章