OpenAI says GPT-6 Astra is live for Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex, and is also available in the API. Plus and Business users will get it over the next few days.
OpenAI is rolling out ChatGPT Images 2.5 to all ChatGPT, ChatGPT Work, and Codex users on desktop, mobile, and web. The API also adds GPT-Image-2.5 Flare for quality, editing, and speed, and GPT-Image-2.5 Sunburst for detailed creative work with longer generation times.
GPT-6 Astra is now live for all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex, and in the API. OpenAI calls it the world's most intelligent and aligned model, with new state-of-the-art results on computer use, software engineering, and scientific discovery.
Anthropic says Claude produced the first machine-verified Lean formalization of Fermat's Last Theorem, a project experts expected would take years. The 13-million-line proof is the largest Lean proof ever written and also verifies more than 29,000 supporting theorems.
Discussion & Comments
0Sign in to join the discussion
Connect with AI developers to exchange benchmark insights.