OpenAI Says It Solved a $1M Math Drawback. A Rival Mathematician Says He Did It First – Decrypt

Briefly
OpenAI stated Tuesday its inner AI mannequin produced a Lean-verified proof that the Navier-Stokes fluid equations can “blow up,” utilizing 10,000 coordinating AI brokers over 88 hours.
Hours earlier, NYU mathematician Tristan Buckmaster accused OpenAI's Sébastien Bubeck of studying about his and Anthropic researcher Levent Alpöge's unpublished, associated proof and pressuring them over credit score earlier than the announcement.
OpenAI, Bubeck, and CEO Sam Altman deny the account; Bubeck posted texts he says show he provided Buckmaster's staff the choice to publish first.
OpenAI stated Tuesday its inner AI mannequin simply solved one of many largest questions in math analysis—however the celebration was met with sharp criticism after claims surfaced from an NYU mathematician that the corporate performed soiled.OpenAI stated it proved the Navier-Stokes equations, which describe how fluids transfer, can “blow up”—some extent the place the mathematics predicts infinite velocity, which might't occur in nature.Myriad: Which firms will IPO earlier than 2027? Click on to make your prediction.It is considered one of seven Millennium Prize Issues, every value $1 million from the Clay Arithmetic Institute.OpenAI says the outcome took 88 hours and roughly 10,000 coordinating AI brokers—copies of its fashions working the proof in parallel—checked with Lean, software program that verifies a proof step-by-step.
We’re sharing an answer to the Navier-Stokes Millennium Prize Drawback, one of many deepest issues on the frontier of arithmetic.
The proof was produced by a bunch of brokers, utilizing an OpenAI next-generation mannequin considerably extra succesful than GPT-6 Astra.
The issue… pic.twitter.com/8zol3BPTL4
— OpenAI (@OpenAI) September 8, 2026But they might not be those who first discovered the answer.Hours earlier than OpenAI’s announcement, NYU mathematician Tristan Buckmaster informed a special story in a four-page assertion. He and Levent Alpöge, a mathematician at OpenAI rival Anthropic, had spent practically a yr utilizing AI fashions to chase proofs of fluid blow-up and got here up with an answer by August 22.Buckmaster says that on September 3, amid rumors Anthropic had solved a significant downside, he informed a mathematician at OpenAI concerning the undertaking, stressing it was private and unaffiliated with both companyThree days later, on a name, OpenAI's Sébastien Bubeck informed him an inner mannequin had already produced a 100-page proof for compelled Navier-Stokes—the identical slender strategy Buckmaster says virtually no person else was pursuing.Buckmaster says Bubeck then provided two choices: Both OpenAI publishes the day after his staff does, or Buckmaster alone writes up his paper, with Alpöge left off as a result of he works at a rival lab. When Buckmaster stated he'd go public as an alternative, he says Bubeck replied, “Why would you break your profession?”“If you happen to don’t need me to be good, then I don’t must be good,” Bubeck informed Buckmaster, per his assertion.Buckmaster ended up publishing the analysis papers along with his findings. Levent Alpöge was credited there, however neither researcher acquired credit score from OpenAI—save for a quote tweet acknowledging that it couldn't “rule out that de-identified knowledge derived from their utilization of our merchandise helped enhance our fashions.”OpenAI and Bubeck push backBubeck, OpenAI, and Altman all deny Buckmaster’s characterization of what occurred. In a follow-up publish, Bubeck shared texts proposing a coordinated launch with Alpöge and providing OpenAI's prompts, and says he acted in good religion.“I hope it’s clear from the message that we got here in with the very best intentions,” he wrote. “I by no means ever requested for Levent to be faraway from authorship of his personal work.”OpenAI CEO Sam Altman defended Bubeck, saying he “acted with integrity and generosity all through,” and that OpenAI provided to let Buckmaster's staff publish first as soon as it realized they'd solely solved Euler, not full Navier-Stokes.
I spent a lot of the weekend speaking with the staff who did this work. Seb–and everybody else–acted with integrity and generosity all through.
Initially we believed the opposite staff had additionally solved the issue. We needed to collaborate and do a joint launch.
Once we realized that…
— Sam Altman (@sama) September 8, 2026In a separate assertion, OpenAI stated it by no means noticed the pair's work earlier than publication and accessed no particular person knowledge. That stated, the corporate doesn’t explicitly discard the likelihood both.Fields Medalist Terence Tao referred to as Buckmaster and Alpöge's underlying math a “exceptional achievement.” It is the second AI-math story out of the identical two labs this week, days after Anthropic stated Claude produced a computer-checked proof of Fermat's Final Theorem.Buckmaster and Alpöge's most superior outcome—the model closest to the precise $1 million downside—stays unpublished pending a last Lean verify. No one outdoors OpenAI has independently reviewed its 100-page proof both.Every day Debrief NewsletterStart day by day with the highest information tales proper now, plus authentic options, a podcast, movies and extra.