AI outperforms mathematicians

People are seriously underestimating how good AI has become at mathematics. A few years ago, "AI can't do math" was a common criticism. Today, we're seeing these computer systems contribute to original mathematical research. As someone who regularly uses frontier models for deep mathematical exploration, I can say that the difference compared to even 1–2 years ago is staggering. I have a friend that studied math at college and he's genuinely scared