News for hackers. Stuff that matters.

A comment on Formalizing Fermat's Last Theorem. Parent comment

Re:Formalizing Fermat's Last Theorem by paxys on Friday September 04, 2026 @04:29PM (#49569853)
Nah they should have released it in a 14-part tweet instead.
[ Parent | on HN ]

There are no comments on this comment yet.