Deep Dives
Claude Formalized Fermat: Four Lessons for Long-Running AI Agents
Four architecture lessons from Claude’s machine-checked formalization of Fermat’s Last Theorem.
Topic · 1 stories
#Lean
Reporting, analysis and practical guides connected to Lean.
