prove a mathematical conjecture nobody had been able to prove before.

Nobody cares because computers have been doing math since mathematicians invented them. There's no "AI" involved at all. None of these mathematicians are dumb enough to think their computer is actually "intelligent". It's just lazy terminology and grifter bullshit.

Then about 10 years to have chatbots that are hard to distinguish from humans

Hard to distinguish for which humans?