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:
もっと見る
