AI didn't solve large parts of mathematics. Which is not to say the the results aren't interesting or remarkable. Proving that Navier-Stokes blows up with certain external forces is important. But it's just a step, like seeing a pattern in data with no insight into what the data represents. Understanding why and where the fluid dynamics model is wrong is more interesting, if this enabled that then it's great.
All the proofs they've produced are interesting but they seem to be based on the work of mathematicians who nearly got there. As yet, no big leaps of insight. Again, I'm not saying it's a bad thing, it's also not a demonstration of intelligence beyond reckoning. I also read it cost something on the order of $15m of inference per problem, maybe a whole army of mathematicians could have got there too if that was available.
All the proofs they've produced are interesting but they seem to be based on the work of mathematicians who nearly got there. As yet, no big leaps of insight. Again, I'm not saying it's a bad thing, it's also not a demonstration of intelligence beyond reckoning. I also read it cost something on the order of $15m of inference per problem, maybe a whole army of mathematicians could have got there too if that was available.