NYU mathematician clashes with OpenAI over $1M proof
已归档 —— 这条已轮出今日牌堆，完整内容在此保留。
一句话看懂
OpenAI said its AI produced a Lean-verified proof that Navier-Stokes fluid equations can blow up.
The dispute is who gets credit for a $1M Millennium Prize proof, with a.
背景
The Navier-Stokes equations describe how fluids like water and air flow, and proving whether solutions can 'blow up' is one of math's Millennium Prize problems, carrying $1 million for the first proof that passes rigorous review. According to the material, rumors that OpenAI's rival Anthropic had solved one or two Millennium Prize problems pushed OpenAI leaders to tackle the same list. NYU mathematician Tristan Buckmaster and Anthropic's Levent Alpöge had spent nearly a year using AI models on the fluid blow-up problem and reached a solution by August 22, before OpenAI announced its own result.
来龙去脉
- Aug 22, 2026Tristan Buckmaster and Anthropic's Levent Alpöge arrive at a solution on the fluid blow-up problem after nearly a year of work using AI models.
- Sep 8, 2026Hours before OpenAI's announcement, Buckmaster issues a four-page statement accusing OpenAI's Sébastien Bubeck of learning about his and Alpöge's unpublished proof and pressuring them over credit.
- Sep 8, 2026OpenAI announces its internal AI model produced a Lean-verified proof that the Navier-Stokes fluid equations can blow up, using 10,000 coordinating AI agents over 88 hours.
- Sep 9, 2026OpenAI tells The Times it was 'categorically' impossible for its AI system to have been influenced by anything Buckmaster did in the past two months.
各方怎么说
- OpenAI
- OpenAI said in a statement that it was 'categorically' impossible for its AI system to have been influenced by anything Buckmaster had done in the past two months.
- Buckmaster
- Buckmaster accused OpenAI's Sébastien Bubeck of learning about his and Alpöge's unpublished, related proof and pressuring them over credit before the announcement.
待核实
Rumors that Anthropic had solved one or two Millennium Prize problems, which the material says spurred OpenAI to tackle the same list, are described only as rumors. Social media suggestions that OpenAI's AI agents had somehow found and incorporated Buckmaster's recent work into the company's proof are also unconfirmed; OpenAI denies this.