On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Month: September 2026
Funding grants for new research into AI and teen development
Apply now for OpenAI’s $5 million grant program supporting independent research on how generative AI affects teen development, well-being, and...
1Password increases engineering productivity 21% with Codex
Engineers at 1Password use Codex to rapidly build new features and internal tools, reaching production-readiness while maintaining rigorous security policies.
Supporting independent journalism in Ukraine
OpenAI, AIRPPU and WAN-IFRA launch an AI program to help Ukrainian news organizations strengthen innovation, resilience, and independent journalism.
An Alien Mind
Jakub Pachocki reflects on increasingly capable AI and the challenge of keeping it aligned. He calls for stronger safeguards and...
Research acceleration: The view inside OpenAI
Inside OpenAI, coding agents are reshaping AI research. Explore early data on agent usage, experiment velocity, task complexity, and research...
Aviation faces hotter, stormier skies – and passengers might have to accept more disruption
ByTheo Leggett International business correspondentAs the country sweltered through one of the many heatwaves of a baking summer in late...
Daybreak for Frontline Defenders: $1B to protect essential services
OpenAI introduces Daybreak for Frontline Defenders. A $1 billion commitment expands access to frontier cyber AI, training, and support for...
Legora reviewed 41 documents in minutes with GPT-6 Astra
Legora used GPT-6 Astra to review 41 documents in minutes, find all four planted errors, and improve performance by nearly...
Playco cut manual fixes 50% prototyping games with GPT-6 Astra
Using GPT-6 Astra, Playco built three themed game prototypes from one grey box foundation and reported 50% fewer manual fixes...