LaunchAI ModelsJuly 9, 2026
OpenAI releases GPT-5.6, Sol Ultra solves 50-year conjecture

OpenAI reported that GPT-5.6 Sol Ultra produced a proof of a 50-year-old math conjecture. The Luna variant delivers GPT-5.5-level reasoning at 25x lower cost. GPT-5.6 also tops the DeepSWE leaderboard at 73%.
15 sources
GPT-5.6 is now the preferred model in Microsoft 365 Copilotopenai.com
Summary of METR's predeployment evaluation of GPT-5.6 Solmetr.org
RT @polynoamial: GPT-5.6 Sol Ultra produced a proof of a 50 year old math conjecture. Unlike the...x.com
Meet a mathematician solving previously unsolvable math problems with GPT-5.6youtube.com
[AINews] OpenAI launches GPT 5.6 Sol/Terra/Luna, Codex becomes ChatGPT superapplatent.space
GPT 5.6 Has 72 Possible Configurations. What's A Good Default?sebastianraschka.com
OpenAI GPT-5.6: AI Could Do Anything, Then It Met ARC-AGI-3thealgorithmicbridge.com
OpenAI's newest AI model is 54% more token efficient on agentic coding, Altman tells CNBCcnbc.com
Quoting OpenAIsimonwillison.net
OpenAI Limits Release of New Model Under Pressure From USbloomberg.com