> Solving a major maths problem that has resisted the best mathematicians for so long seems to prove otherwise (even if it were just a matter of remixing old ideas, which is not the case here).

I don't think we know enough about how they work to claim that. OpenAI said they had 10 THOUSANDS agents working on the problem, testing all ideas they found in the literature (including, it seems, the breakthrough of the guys who had it for the hypo viscose case).