Recap: ai4math Workshop July 2026
The first ai4math Workshop brought together researchers from mathematics, computer science, and AI for two days of talks, discussions, and networking in Potsdam.
Blog
Gödel's Poetry: AI, Lean 4 Prover
A Lean 4 multi-agent theorem proving system combining recursive decomposition, RAG-based retrieval, AST extraction, and verifier-guided proof generation.
AI at zbMATH Open – Talk by Christian Bär
Christian Bär presents how AI is used at zbMATH Open – from digitization to search and review generation.