News for hackers. Stuff that matters.

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

Re:Formalizing Fermat's Last Theorem by Philip-J-Fry on Friday September 04, 2026 @05:38PM (#49570537)
Never really a sound argument.

It's like having new solar panels installed every week. Sure you're "profitable" on the $0.20/kWh you're selling your "free" energy at when you ignore the cost of the solar panels you're buying every week.

[ Parent | on HN ]
Re:Formalizing Fermat's Last Theorem by ludwik on Saturday September 05, 2026 @01:00AM (#49573220)
It is a sound argument in the context of trying to estimate what it costs them to generate this specific output. They have training cost eather way.
[ Parent | on HN ]