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:
顯示更多
