Leonardo de Moura
@Leonard41111588
Joined July 2023
59 Following 8.2K Followers
I did not expect this. Anthropic just published a Lean proof of Fermat's Last Theorem.
The proof is +13M LoC, more than 5 times the size of Mathlib.
Kevin Buzzard's post:
The proof:
Anthropic's post:
Show more
