OpenAI for UK public services: https://
bbc.com/news/articles/
czdv68gejm7o
…
@gdb
-

OpenAI Selected for UK Public Services Implementation
By
–
-
AI Achieves Breakthrough on IMO Mathematical Problems
By
–
Wild progress since 2022, when we achieved our first results on any IMO problem:
-
General RL approach with test time compute scaling breakthrough
By
–
What’s most remarkable is that this system uses a very general approach, using reinforcement learning and scaling of test time compute:
-

LLM Wins Gold at International Math Olympiad 2025
By
–
Gold medal-level performance on the 2025 International Math Olympiad from our latest experimental reasoning LLM. Model operated in natural language (i.e. outputs natural language proofs) under the same rules as humans (e.g. 4.5 hours per session, no tools). Amazing milestone!
-
ChatGPT Agent for Finding Great Airbnb Accommodations
By
–
ChatGPT agent for finding a great Airbnb:
-

ChatGPT Agent for Excel and PowerPoint Automation
By
–
ChatGPT agent for working with Excel, Powerpoint, etc.:
-

AI Achieves Second Place in AtCoder World Tour Finals
By
–
official results from @atcoder World Tour Finals are in — great results for both humans (#1 and #3 onwards) and AI (#2 in the world!). a milestone for AI for solving hard problems.

