OpenAI Says It's Made Progress on a Second $1 Million Math Problem

OpenAI told the New York Times it has made "substantial progress" on a second Millennium Prize Problem after claiming a Navier-Stokes solution on September 8, but the company has not named the problem or given a disclosure timeline. Online speculation, unconfirmed by OpenAI, points to the 76-year-old Hodge Conjecture, while the Clay Mathematics Institute's review of the Navier-Stokes proof remains pending and a credit dispute with NYU mathematician Tristan Buckmaster is unresolved. OpenAI's September 8 announcement said an unreleased internal model produced a Lean-verified proof using roughly 10,000 coordinating AI agents over about 88 hours.

In brief - OpenAI told the New York Times it has made "substantial progress" on a second Millennium Prize Problem since solving Navier-Stokes on September 8, without naming the problem or a disclosure timeline. - Online speculation, unconfirmed by OpenAI, points to the Hodge Conjecture, a 76-year-old puzzle about counting the "holes" in complex geometric shapes. - The Clay Mathematics Institute's review of OpenAI's Navier-Stokes proof is still pending, and a separate credit dispute with mathematician Tristan Buckmaster remains unresolved. OpenAI isn't done cashing in on math's hardest open questions—at least not on the credit for solving them, since the company says it doesn't want the money. Days after claiming a solution to the Navier-Stokes equations, OpenAI told the New York Times https://www.nytimes.com/2026/09/10/science/tristan-buckmaster-openai-math-navier-stokes.html it has made "substantial progress" on another Millennium Prize Problem, one of seven grand puzzles the Clay Mathematics Institute has backed with a $1 million bounty since 2000. OpenAI still hasn't said which problem it means, but experts cientificamerican.com/article/which-million-dollar-math-problem-could-ai-solve-next/ , enthusiasts—and reporters https://www.theinformation.com/newsletters/ai-agenda/openai-close-solving-another-millennium-prize-math-problem —have their theories. Chatter across social media has zeroed in on the Hodge Conjecture https://www.youtube.com/watch?v=FAr7v7dSGRM , a 1950 puzzle about how to count the "holes" in complex geometric shapes—the kind with so many dimensions nobody can actually picture them. Mathematician William Hodge proposed a shortcut using algebra instead of geometry to do it, but nobody has proven the shortcut always works. OpenAI hasn't confirmed that guess, and it hasn't confirmed rumors that the unreleased model behind the work is the rumored Aeon version built for long time horizon tasks and agentic workflows. Both are speculation, not company statements. gpt-6-astra gpt-6-astra-aeon ^ new slugs added to a statsig feature flag that appeared ~30 mins ago in Codex Desktop "aeon" means "an immeasurably or indefinitely long period of time, an age, or eternity" — leo 🐾 @synthwavedd September 3, 2026 https://x.com/synthwavedd/status/2095536656023470365?ref src=twsrc%5Etfw Back in September 8, OpenAI said https://openai.com/index/navier-stokes-solution/ an unreleased internal model produced a Lean-verified proof—Lean being software that checks a math proof one logical step at a time—showing the Navier-Stokes equations, which describe how fluids like air and water move, can "blow up" into a physically impossible infinite speed. Getting there took roughly 10,000 coordinating AI agents working for about 88 hours. That's a big deal beyond the math department. Navier-Stokes underpins aircraft design, weather forecasting, and how doctors model blood flow, and it had resisted a full mathematical explanation for nearly 90 years. But the announcement landed messy. NYU mathematician Tristan Buckmaster laid out his side in a four-page statement https://cims.nyu.edu/~tristanb/statement.pdf : he and Anthropic researcher Levent Alpöge had quietly chased a related proof for almost a year and finished by August 22—before OpenAI's Sébastien Bubeck learned about it and raced to publish first. Buckmaster says Bubeck told him to either let OpenAI publish the day after his team or write it up alone, without Alpöge, since he works at a rival lab. "Why would you ruin your career?" Bubeck allegedly told him when he refused. This new wave of AI models are so powerful they’re making math look cool. The same week, Anthropic said its Claude model formalized https://decrypt.co/377491/ai-solved-350-year-old-math-problem a 358-year-old proof of Fermat's Last Theorem in 11 days, and mathematician Terence Tao warned https://decrypt.co/377818/ai-math-best-problems-terence-tao that AI labs racing each other is burning through math's supply of hard, useful problems faster than new ones can be found. OpenAI says https://openai.com/pt-BR/index/navier-stokes-solution/ it isn't chasing the $1 million prize for publishing any result—it's using the problems as a public yardstick for how fast its models are improving. The next test of that yardstick is whether the Clay Institute, or any mathematician outside the company, can independently confirm even one of its claims—a process that, for past Millennium Prize submissions, has taken years rather than weeks.