We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
@ivanich22893@deaneyang No matter how many prompts or how much compute you could have in a lifetime - you could never come close to solving any of the millennium prize problems like these “button-pushers” have.
@0x6e616461@kyanyang_ How do you steal knowledge? What is being stolen? Knowledge is meant to be shared: one person acquiring some idea does not deprive anyone else of that idea either.
this is insane.
Levent and Tristan make major independent progress towards Navier–Stokes, with help from Claude and Codex.
word reaches OpenAI.
days later, OpenAI claims internal NS results, coincidentally using the same novel methods as Levent and Tristan.
Tristan asks if OpenAI trained on their private Codex sessions. he never gets an answer.
then OpenAI pressures Tristan to publish without Levent because Levent works at Anthropic.
when Tristan refuses, he says OpenAI threatens his career.
This account made me watch the show and when I finally got to the line and realized before house it made me gasp in horror, first show to ever make me do that.
It's fun to make predictions. Here's a new one:
Anthropic has solved a Millennium Prize Problem.
And I'll be even more specific.
Claude has solved Navier–Stokes.
It is out for expert review.
And to give myself a hard deadline, they will announce it before the IPO.