The fact that ETH is false when many people expected it to be true is the amazing thing. This isn't AI finishing the last 10% of a proof and stealing the credit--this is AI exceeding human thinking. If nothing else, this buries the "stochastic parrot" position.
That said, AI is spiky, and I fully expect there to be a class of problems that AI is really good at solving and a (maybe larger) class where AI is worse than human mathematicians.
That said, AI is spiky, and I fully expect there to be a class of problems that AI is really good at solving and a (maybe larger) class where AI is worse than human mathematicians.