That's not the real question. Humans make incremental progress and sometimes have a brilliant inspiration that seems to change all of mathematical thinking after it. The question is: is AI making predictable incremental progress? Or is it discovering fundamentally different ways of thinking about math?