2 ms·
Formalizing Fermat's Last Theorem - https://news.ycombinator.com/item?id=49568506 https://news.ycombinator.com/item?id=49568506 - September 2026 (509 comments)
by toomuchtodo 2mo ago
Formalizing Fermat's Last Theorem - https://news.ycombinator.com/item?id=49568506 https://news.ycombinator.com/item?id=49568506 - September 2026 (509 comments)