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.

Only? That doesn't look small to me.

That we know of