QotNews
Hacker News, Reddit, Lobsters, and Tildes articles rendered in reader mode.
Formalizing Fermat's Last Theorem
Source:
anthropic.com
528 points by
jlebar
9 hours ago on
hackernews
|
330 comments
https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...