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 分钟 ·
阅读文章