Can AI do maths yet? Thoughts from a mathematician.

So the big news this week is that o3, OpenAI's new language model, got 25% on FrontierMath. Let's start by explaining what this means. Continue reading →