There have been about 6-8 major math breakthroughs claimed by AI. Only for 2 of them there are public accusations about the training data.