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:
@deaneyang This is fucked. OpenAI heard rumors of Alpoge and Buckman’s work with Codex and trained on their in progress work to scoop them. Offering to publish ...