OpenAI's Secret Model Solves a $1M Math Problem, Meta Launches Its Own AI Agent
Today we're covering the biggest AI stories of September 9th, 2026. OpenAI published a proof from an unreleased internal model, "significantly more capable" than the just launched GPT-6 Astra, claiming to solve Navier-Stokes, one of math's seven Millennium Prize problems, running roughly 10,000 agents for 88 hours at an estimated cost of millions of dollars, though the win came with a credit dispute attached, NYU's Tristan Buckmaster and Anthropic's Levent Alpöge had spent a year on a similar approach, fed drafts into Codex along the way, and posted their own partial results the night before…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.