Offline
day
week
Formalizing Fermat's Last Theorem
543 points
|
www.anthropic.com
|
jlebar
|
10hrs
https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...