Leonardo de Moura
@Leonard41111588
가입 July 2023
59 팔로잉 중 8.2K 팬
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:
더 보기
