Hacker News Reader

How rich do you think math majors are? No theoretical math professor or department can afford $20,000,000 in tokens for these problems.

Meanwhile, the AI labs are doing that for just marketing.

View on HN

Right and the AI labs will stop just as soon as the need for marketing is over. We're agreeing.

Since when have tech companies stopped spending on marketing?

What marketing benefit are they going to be getting when all existing noteworthy problems have been addressed? They're just going to spend money on having the AI generate proofs of no value at random to thunderous public indifference? Clearly not. There will be a need for more noteworthy problems for their AI to publicly solve to get any marketing buzz and the consensus for what is noteworthy comes from mathematicians.

Yes. They'll stop after there's no more noteworthy problems. What a wonderful concept for theoretical Mathematicians.

You realize that they don't want that, correct?

Reply on news.ycombinator.com