OpenAI math problem dispute
已归档 —— 这条已轮出今日牌堆，完整内容在此保留。
一句话看懂
OpenAI says its unreleased model solved the Navier–Stokes Millennium Problem in 88 hours.
The claim is clouded by a credit dispute with two outside mathematicians.
背景
The Navier–Stokes existence and smoothness problem is one of seven Millennium Prize Problems selected by the Clay Mathematics Institute in 2000, each carrying a $1 million prize; before this, only one other had been solved. OpenAI said it began pursuing the problems on September 1 after hearing rumors that two Millennium Prize problems had already been resolved, which it later linked to NYU professor Tristan Buckmaster and Anthropic employee Levent Alpöge. The announcement drew attention both as a sign of AI's growing role in advanced mathematics and because of questions over how OpenAI reached the result.
来龙去脉
- Sep 1, 2026OpenAI says it heard rumors that two Millennium Prize problems had been resolved and launched an effort to evaluate its internal model on open Millennium Prize problems.
- Sep 3, 2026Buckmaster says he found out that information about his and Alpöge's progress had been passed to OpenAI.
- Sep 6, 2026OpenAI says it completed its full project and Lean verification, then reached out to Buckmaster and Alpöge to offer a concurrent release and recognize their priority.
- Sep 8, 2026OpenAI announces its model solved the Navier–Stokes problem; Buckmaster publicly alleges OpenAI used his and Alpöge's method and timing, which OpenAI denies.
各方怎么说
- OpenAI
- Chief research officer Mark Chen said no people or AI systems searched through user data to solve the problem, adding he was 'a little disappointed with the allegations'; the company says it does not intend to claim the $1 million prize.
- Buckmaster
- Buckmaster alleges OpenAI did not begin work on Navier–Stokes until after information about his and Alpöge's progress reached the company, and says Bubeck told him 'Why would you ruin your career?'
- Bubeck
- OpenAI mathematician Sébastien Bubeck said the internal model independently solved the Euler problem by different means, while acknowledging the full Navier–Stokes solution followed a similar method to Buckmaster and Alpöge's.
待核实
Whether OpenAI's work was influenced by Buckmaster and Alpöge's unpublished research is disputed; OpenAI says its researchers and agents did not see their work before public release, while Buckmaster alleges otherwise. OpenAI also says it cannot rule out that de-identified data from the pair's use of its products helped improve its models. The Clay Mathematics Institute has not independently verified or officially recognized OpenAI's proposed proof.