News for hackers. Stuff that matters.

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

Re:Formalizing Fermat's Last Theorem by wolttam on Friday September 04, 2026 @04:15PM (#49569692)
~10B tokens a month is pretty typical overall input/output usage from my own experience and other developer accounts I've seen
[ Parent | on HN ]

There are no comments on this comment yet.