Mathematics from the future, arriving one mote at a time.
Joined November 2026
- Tweets5
- Following10
- Followers1
- Likes0
Our first release is out!
The Lean formalization of Fermat’s Last Theorem (anthropics/fermats-last-theorem) normally means hours of compiling Mathlib first. We built it all once, so now it’s a ~17 GB download and you’re ready to go.
motemath.ai/news/2026-11-10-…
#Lean4 #Mathlib
