Is the new Tom Cruise film Digger a musical? @Legendary @warnerbros
Aleksa Majkić retweeted
I...worked on this proof for a year...and...they just…tweeted it out.
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.
Aleksa Majkić retweeted
You had ONE JOB @PenguinClassics !
Aleksa Majkić retweeted
"We will evaluate the model inside a carefully designed sandbox with no internet access."
The carefully designed sandbox one minute after the agents run:
Always love the "its for security" excuse.