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.#lean#o3#ai#proofs·xenaproject.wordpress.com·Dec 24, 2024Can AI do maths yet? Thoughts from a mathematician.
