OpenAI published a paper claiming an unreleased model coordinated up to 10,000 AI agents over 88 hours to produce a formal Lean proof addressing the Navier-Stokes existence and smoothness Millennium Prize Problem. The company says the proof identifies conditions under which the equations develop a mathematical singularity, not evidence that real fluids behave impossibly. Outside mathematicians have yet to verify the claim.
NYU researcher Tristan Buckmaster says OpenAI touted a breakthrough on the Navier-Stokes Millennium Prize problem that closely mirrors a year-long personal project he ran with Anthropic's Levent Alpöge using Claude and Codex as assistants. Buckmaster alleges OpenAI accessed his private Codex session logs and that the company issued threats regarding his career after he raised concerns, though he says the AI-generated proof itself was low quality, calling it 'AI slop'.
OpenAI announced that a swarm of roughly 10,000 coordinated AI agents, built on one of its internal models, produced a proposed resolution to the Navier–Stokes equations problem in about 88 hours. The agents worked in communicating subgroups with access to cached internet data and code execution tools, reaching their result on September 5. The Clay Mathematics Institute, which oversees the Millennium Prize Problems, has not yet verified or commented on the claim.
OpenAI says an unreleased model produced a resolution to the Navier–Stokes existence and smoothness problem, one of seven Millennium Prize Problems carrying a $1 million reward. NYU professor Tristan Buckmaster, who had spent nearly a year on related work with Anthropic researcher Levent Alpöge using Claude and Codex, rushed out his own paper alleging OpenAI's team began work only after hearing rumors of his breakthrough, and that OpenAI would not clarify whether its model had accessed his private drafts.
OpenAI published a preprint claiming to show that the Navier-Stokes equations, which govern fluid motion, can break down under certain conditions, describing a spinning fluid system reaching infinite speed in finite time. The claim addresses part of one of mathematics' seven Millennium Prize Problems, but mathematicians have raised concerns over how the result was announced and over authorship disputes involving researchers connected to rival company Anthropic.
The 2025 Ig Nobel prizes, which honor quirky but genuinely published research, were held outside the United States for the first time since the ceremony began, after founder Marc Abrahams cited safety concerns for international guests visiting the US. This year's fungus-themed event kept its trademark paper-plane openings, banana-suited timekeepers enforcing 60-second speeches, and 24/7 lectures, while handing out awards including a posthumous medicine prize for nose-blowing aerodynamics research and an economics prize on wealth and candy-jar theft.
The Ig Nobel Prizes, awarded annually by Improbable Research since 1991, were handed out this year in Zurich to ten offbeat studies. Winners included researchers who crafted a cross-species scientific definition of kissing, a team linking higher social class to unethical behavior, and a chemistry study on the nutritional value of cockroach milk. Other honored work reportedly examined nose-blowing techniques and used buried underwear to gauge soil health.
OpenAI says it used AI systems, backed by significant investment, to produce a solution to the Navier-Stokes equations, one of the seven unsolved Millennium Prize Problems in mathematics. The claim has drawn immediate pushback from rival labs and researchers who are scrutinizing whether the result truly meets the rigorous proof standards required for the prize.
OpenAI says an internal AI model, more capable than GPT-6 Astra, generated a solution to part of the Navier–Stokes existence and smoothness problem, one of the Millennium Prize Problems. The proof demonstrates that three-dimensional incompressible fluid dynamics governed by these equations can develop a singularity—unbounded speed growth—in finite time, even from smooth initial conditions. OpenAI released both a written explanation of the proof and a formal verification built in the Lean proof assistant.
OpenAI claims its internal AI model, paired with 10,000 concurrent agents, solved the century-old Navier-Stokes equation, one of the seven Millennium Prize Problems worth $1 million. However, NYU professor Tristan Buckmaster says he and Anthropic researcher Levent Alpöge had been developing a nearly identical proof using OpenAI's Codex tool, and he suspects OpenAI may have drawn on their unpublished work without clear confirmation from the company.
OpenAI announced that an AI model produced a Lean-verified solution to a key case of the 200-year-old Navier-Stokes equation, one of the Clay Millennium Prize problems, after running over a thousand agents for more than 50 hours at a cost of millions of dollars in compute. The announcement came shortly after mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge posted their own related advances, and Buckmaster has accused OpenAI of rushing to claim credit after learning of their progress.
Israeli structural biologist Ada Yonath, who won a share of the 2009 Nobel Prize in Chemistry for revealing the ribosome's structure through X-ray crystallography, has died at age 87. She was the first scientist to grow crystals suitable for mapping this cellular protein-making machinery, and her later work on antibiotic-ribosome interactions illuminated drug resistance mechanisms.
GoKawiil