Comment

Comment by ccppurcell

Crazy take. Whatever justification existed before exists now. Why is generation of proofs justified but not understanding? What's the point of a proof if no one understands?

And anyway a mathematician's lifetime salary is basically nothing. I think total worldwide mathematics budget is less than a tenth of a percent of GDP. Meanwhile, openai cumulative loss stands at tens of billions?

parent ccppurcell 1 month ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton