When AI has exhausted the existing math literature (and found a bunch of errors, I'm sure) it will have to start producing its own conjectures. Millions of them, even billions. And using all the experience from trying to prove them to improve.