A beginning for mathematics
已归档 —— 这条已轮出今日牌堆，完整内容在此保留。
一句话看懂
OpenAI said its 10,000 agents solved a Millennium Prize Navier-Stokes problem in 88 hours.
Two mathematicians say the work may be theirs, so the claim is disputed.
背景
The Navier-Stokes equations describe how fluids and gases move; the open question is whether the math can blow up and produce physically impossible results. It is one of the Millennium Prize Problems, carrying a million-dollar award if a solution is verified, and the equations are used in airplane design, artificial heart valves and climate modelling. OpenAI said roughly 10,000 concurrent agents with internet and code tools found a solution within 88 hours. Almost immediately, two other mathematicians, one at competitor Anthropic, said the results might have been taken from their own work.
来龙去脉
- recentlyOpenAI said it had solved a legendary mathematics problem involving the Navier-Stokes equations, one of the Millennium Prize Problems.
- recentlyOpenAI said the task involved on the order of 10,000 concurrent agents with tools including a cached version of the internet and the ability to run code, and that they found the solution within 88 hours.
- recentlyAlmost immediately after the announcement, two other mathematicians, one of whom works at Anthropic, announced the results might have been taken from their own work.
- Sep 12, 2026CBC News published an analysis by Anand Ram on OpenAI's claim and the controversy around it.
- Sep 13, 2026Daniel Litt published an essay titled 'A beginning for mathematics' on daniellitt.com, also appearing on Proofs and Prompts.
各方怎么说
- OpenAI
- Said it solved the Navier-Stokes problem, that in a certain circumstance you can get a physics-violating result at least on paper, and that its agents found the solution within 88 hours.
- Caution
- Two mathematicians, one of whom works at Anthropic, announced the results might have been taken from their own work, with heated back-and-forth over allegations of stolen work and academic malpractice.
- Expert
- Stanford mathematics professor Ravi Vakil called the problem 'a very deep mystery' and 'this huge thing that's out of reach, like this mountain you see in the distance,' and said he isn't surprised the company was.
- Analysts
- Daniel Litt wrote that there is no consensus in the mathematical community on its goals, that the goal is not to prove theorems since that would be trivial to automate, and that we are at the beginning of an incredible explosion of mathematics with more need for human mathematicians than ever, though the profession will have to change.
待核实
OpenAI's claim to have solved the Navier-Stokes problem is disputed: almost immediately, two other mathematicians, one of whom works at competitor Anthropic, announced the results might have been taken from their own work, with heated back-and-forth over allegations of stolen work and academic malpractice. The million-dollar award applies only if a solution is verified.