OpenAI 被指用内部模型产出 Navier-Stokes 证明，但该证明尚未公开，OpenAI 也未公开回应相关指控。目前获验证的是数学家 Tristan Buckmaster 与 Levent Alpöge 用一年时间与 AI 合作完成的 Navier-Stokes 邻近问题结果，Terence Tao 称其为显著成就。
It appears OpenAI is claiming its AI just solved Navier-Stokes, the 3rd most famous unsolved math problem in the world.
It's one of the 7 Millennium Prize Problems, with a $1 million bounty.
(The only two more famous ones are the Riemann Hypothesis and P vs NP)
DRAMA: The mathematician who spent a year on this (with AI) says OpenAI raced to the finish after his work leaked to them, then pressured him to drop his co-author, who works at Anthropic
To be clear, what's actually verified is the mathematician's result on Navier-Stokes next-door neighbor problem. OpenAI's proof of the real thing hasn't been revealed yet, and OpenAI hasn't responded to the accusations
Here's Fable 5.1's summary:
来源：@AISafetyMemes · x.com