Fermat's Last Theorem has been formalized by Claude.
It took 13M Lean LOC, 29.5K intermediate theorem proofs and 11 days.
https://www.anthropic.com/research/formalizing-fermats-last-theorem
Post #391
2.1K
- Sep 21, 2026i disabled reactions because they encourage system-1 thinking: quick, emotional, leading t…
- Sep 14, 2026i'm generally worried about the upcoming shifts in society, eg i have a hard time imaginin…
- Sep 14, 2026on ai worries and speed rsi and exponential are real. it is still kinda slow now but each…
- Sep 6, 2026Interview with HuggingFace incident investigator https://www.youtube.com/watch?v=X50zezLFW…
- Sep 1, 2026Fable 5.1
- Sep 1, 2026Muse with ikat (this isn't ai)