News for hackers. Stuff that matters.

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

Re:Formalizing Fermat's Last Theorem by thrance on Friday September 04, 2026 @03:47PM (#49569357)
Come on, you can't compare that with Wiles's proof.
[ Parent | on HN ]
Re:Formalizing Fermat's Last Theorem by chpatrick on Friday September 04, 2026 @04:29PM (#49569856)
Still unsolved for 87 years.
[ Parent | on HN ]
Re:Formalizing Fermat's Last Theorem by thrance on Friday September 04, 2026 @05:46PM (#49570609)
Meaningless on its own.
[ Parent | on HN ]