Comment by ThrowawayR2

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.