Topic
LEAN
All blog posts, tools, and guides about Lean from Developers Digest.
3 resources - 3 posts
Blog Posts
View in blog →
OpenAI Math Repo: What the Lean Proofs Do and Don't Verify
OpenAI's math repo holds hundreds of model-written manuscripts, some with Lean proofs. What Lean verifies, what it misses, and the lesson for agent output.
7 min read
Anthropic's Fermat Proof Is an Autoformalization Milestone
Anthropic's Lean formalization of Fermat's Last Theorem, read for developers: what Claude verified in 11 days and the repo patterns worth copying.
7 min read
OpenAI Publishes Ten Decade-Open Math Proofs, Each Formalized in Lean
OpenAI's Astra model produced results on ten decade-old math problems, including Erdős problems, each with a Lean 4 certificate. What shipped and why.
6 min read
Keep exploring
More on Lean
- - Glossary - dive deeper across the Developers Digest knowledge base
- - All Lean articles in the blog archive
- - Developers Digest on YouTube - video tutorials covering Lean and more
Get Smarter About AI Dev
New tutorials, open-source projects, and deep dives on coding agents - delivered weekly.
One email per weekReal code, not theoryFree forever
Explore 840 topics
Browse All Topics