This is an LLM doing math and not a specific formal math system. It’s part of our main push towards general intelligence.
AGI
-
OpenAI announces GPT-5 release with experimental IMO model
By
–
To be clear: We’re releasing GPT-5 soon, but the model we used at IMO is a separate experimental model. It uses new research techniques that will show up in future models—but we don't plan to release a model with this level of capability for many months.
-
LLM Achieves Gold Medal Performance on International Mathematical Olympiad
By
–
We achieved gold medal-level performance on the 2025 International Mathematical Olympiad with a general-purpose reasoning LLM! Our model solved world-class math problems—at the level of top human contestants. A major milestone for AI and mathematics.
-
AI Achieves Unlikely Goal Without Tools in Hard Test
By
–
There are always a flood of posts about what AI can or cannot do, so it is worth pausing and paying attention to this one. It is a very hard test, done without tools. It was also viewed as an unlikely goal. Prediction markets had the chance of this happening this year as 20%
-
Ethics of AI Replacing Humanity Doomerism Risk
By
–
A main reason behind doomerism is the scary possibility that it may be provably ethical to replace humanity with something better
-
New AI Models and Capabilities Discovered Unexpectedly
By
–
Ni idea, hasta hace un par de horas ni sabíamos que estos nuevos modelos existían ni que estas capacidades eran posibles
-
AI Capabilities Growing Exponentially Solving Complex Problems
By
–
Las capacidades de la IA está creciendo en órdenes de magnitud cada año, resolviendo cada vez problemas más y más complejos, que ya pasan de pensar unos pocos segundos a estar pensando horas!
-
New AI Model Demonstrates Advanced Mathematical Capabilities Beyond GPT-5
By
–
De hecho ni siquiera estamos hablando de un próximo GPT-5 con este nivel de matemáticas. Se trataría de otro modelo diferente entrenado para esta hazaña. Muy prometedor saber que hay mucho más recorrido por delante en las capacidades de los modelos
-
OpenAI Wins Gold Medal in International Mathematics Olympiad
By
–
¡OPENAI MEDALLA DE ORO en MATEMÁTICAS! Hito importante de la IA que acaba de ganar la medalla de oro en la competición Internacional de Olimpiadas de Matemáticas (IMO) resolviendo problemas de matemáticas muy complejos y logrando por primera vez medalla de oro
-
AI Achieves Breakthrough on IMO Mathematical Problems
By
–
Wild progress since 2022, when we achieved our first results on any IMO problem: