This is an LLM doing math and not a specific formal math system. It’s part of our main push towards general intelligence.
@openai
-
IMO Math Competition: Testing Deep Reasoning Beyond Advanced Coursework
By
–
The International Mathematical Olympiad (IMO) is the world’s most prestigious math competition—100+ countries compete, and only about 9% of participants earn gold. Problems require deep reasoning, not advanced coursework.
-
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.
-
ChatGPT Advanced Voice Upgrades Now Available Free Users
By
–
The Advanced Voice upgrades are now rolling out to ChatGPT free users too. With the same improvements available to paid users, ChatGPT sounds more natural and expressive, and can translate more effectively. Rate limits for free users stay the same.
-
Pro rollout expansion to European Economic Area underway
By
–
Pro rollout update: we are still working on enabling access for the European Economic Area and Switzerland but hope to get it to you soon.
-
AI Feature Rollout to Pro Users Expands Monday
By
–
Now rolled out to 100% of Pro users. Due to higher than expected demand, Plus and Team users will begin getting access Monday.
-
LLMs Master NP-Hard Optimization Through Heuristic Reasoning
By
–
By developing heuristic algorithms to tackle challenging NP-hard optimization problems, our LLMs demonstrate their ability to reason, strategically explore solutions, and progressively refine their approach. This highlights our models' capacity for sustained problem-solving,
-
AtCoder Heuristics World Finals: Global Optimization Programming Competition
By
–
The AtCoder Heuristics World Finals is a global programming competition focused on optimization problems: tasks where you don't just solve a problem but actively search for the best possible solution. It tests creativity, strategy, and persistence under strict time and resource
-
AI Model Achieves Second Place at AtCoder Heuristics Finals
By
–
Our model took 2nd place at the AtCoder Heuristics World Finals! Congrats to the champion for holding us off this time.