Foundational strategies and product thinking for AI-native math systems.
Browse by theme
AI for Math
Cases from First Proof, Momus, LeanMarathon, Danus, and Aletheia reveal the central challenges math agents face in strategy selection, dependency management, long proofs, and preserving information from failed attempts.
AI for Math · Math Agent · Multi Agent · Formal Reasoning · Proof Verification · 17 min read ·
Read EssayAI for Math
A breakdown of how DeepMind AlphaProof Nexus combines LLMs, Lean, AlphaProof, evolutionary search, and multi-agent orchestration into a formal proof system for mathematical research.
AI for Math · Formal Reasoning · Multi Agent · AlphaProof · Deepmind · 17 min read ·
Read EssayAI for Math
A technical guide to AlphaGeometry DSL covering problem format, defs.txt action definitions, geometric predicates, rules.txt reasoning, and construction workflow for geometry solvers, dataset generation, and AlphaGeometry reproduction.
AI for Math · Geometry Reasoning · Formal Reasoning · Geometry DSL · AlphaGeometry · 11 min read ·
Read EssayAI for Math
How AlphaGeometry2 combines geometry reasoning, auxiliary-line search, and symbolic deduction to solve IMO geometry problems, with engineering takeaways for math AI builders.
AI for Math · Geometry Reasoning · Formal Reasoning · AlphaGeometry · Deepmind · 11 min read ·
Read EssayAI for Math
From AlphaGo to AlphaGeometry, AlphaProof, and Aletheia, this essay unpacks the engineering value of a verifiable autonomous math research loop.
AI for Math · Autonomous Research · Formal Reasoning · Math Agent · Deepmind · 10 min read ·
Read EssayAI for Math
From executable plotting to geometric proof, a structural analysis of CodePlot-CoT's strengths and boundaries.
AI for Math · Geometry Reasoning · Visual Reasoning · Code Generation · CodePlot CoT · 9 min read ·
Read EssayAI for Math
A 2026 view of AI for math, from benchmark credibility and capability tiers to architecture-heavy solving systems and real product opportunities.
AI for Math · Formal Reasoning · Math Reasoning · AI Benchmark · 11 min read ·
Read Essay