News for hackers. Stuff that matters.

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

Re:Formalizing Fermat's Last Theorem by deepsun on Friday September 04, 2026 @05:38PM (#49570532)
Same thing was said about cryptocurrency for like 15 years: "_in the future_ it will replace all fiat currency".
[ Parent | on HN ]
Re:Formalizing Fermat's Last Theorem by behnamoh on Friday September 04, 2026 @05:47PM (#49570627)
AI ≠ crypto.
[ Parent | on HN ]