That not fully true. The “problem” with math is that it is vast, so the building blocks for a proof are available but there is hardly anyone that has a wide enough interest to know about all the components. But AI is great at that. It read all the papers in all the disciplines and now can chain reasoning spanning all of it, a feat that’s impossible for a human.

And this makes their advances very tricky to evaluate. If a human did that, they would be a genius, but how do you evaluate a computer that did a very fancy word search across all publications?