September
Anthropic releases Claude Fable 5.1 and restricted Mythos 5.1, improving scientific research, coding, and safeguards.
Google launches Gemini 3.8 Flash for coding agents and 3.8 Flash Cyber for trusted security defenders.
OpenAI begins rolling out GPT-6 Astra, advancing autonomous computer use and scientific reasoning, with reported near-perfect ARC-AGI-3 and FrontierMath Tier 4 scores.
Google launches WeatherNext 3, using live satellite observations for hourly, higher-resolution forecasts across Search, Maps, and Gemini.
Anthropic publishes the first complete Lean proof of Fermat's Last Theorem, formalized largely autonomously by Claude in 11 days.
OpenAI publishes a proposed Navier-Stokes Millennium Problem solution from an internal model, including a Lean proof of finite-time singularities in forced fluid flow.
Google releases AlphaGenome Atlas, mapping predicted molecular effects of all nine billion possible single-letter human DNA variants for researchers.
Meta introduces Muse, a personal agent that works across apps from a dedicated virtual computer, accessible through WhatsApp.
OpenAI releases ChatGPT Images 2.5 for precise image editing and opens its full-duplex GPT-Live-1 voice model to API developers.