AboutRSS

Edition · September 5, 2026 · 23:05

The AI Desk

The AI Desk

Topic

Lean

1 post for “Lean”Whole journal

  1. Claude formalizes Fermat's theorem in eleven days in Lean

    13 million lines of proof, a multi-agent platform, and Kevin Buzzard's endorsement after review