Tag
Corbin Braun claims that a specific domain caused a eureka moment, achieving autonomous software development with ARES.
AI models Fable, Sol, K3, and Axiom all achieved a perfect score of 42/42 in the 2026 International Mathematical Olympiad, solving the competition completely for the first time at low cost. Among them, Claude Fable 5 was the fastest, while GPT 5.6 Sol had the lowest cost.
Dan Shipper announces that GPT-5.6 Sol Ultra is generally available, and shares a tweet from Ethan Knight claiming the model produced a proof of the Cycle Double Cover Conjecture using 64 subagents in under an hour.
OpenAI Five becomes the first AI to defeat world-champion esports professionals in Dota 2, winning two back-to-back matches against OG at the OpenAI Five Finals. The breakthrough was achieved through unprecedented scaling of training compute rather than novel algorithms, and the team is retiring OpenAI Five while announcing plans to deploy it for public internet play.