AI achieves silver-medal standard solving International Mathematical Olympiad problems
AlphaProof and AlphaGeometry teamsdeepmind.google
AI achieves silver-medal standard solving International Mathematical Olympiad problems
Today, we at @OpenAI achieved a milestone that many considered years away: gold medal-level performance on the 2025 IMO with a general reasoning LLM—under the same time limits as humans, without tools. As remarkable as that sounds, it’s even more significant than the headline 🧵
Noam Brownx.com
At a secret meeting in Berkeley, 30 of the world’s top mathematicians gathered to challenge OpenAI’s new reasoning model, o4-mini, with unpublished, PhD-level math problems.
But the AI shocked everyone by solving many of them faster than any human could, even delivering one solution with cheeky confidence:... See more
Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI
Lyndie Chiouscientificamerican.com