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.
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?