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.
it would be so funny if the Navier-Stokes rumors from both labs are elaborate cold war style psy-ops to tempt the other lab to waste compute on a dead end, and increase your relative compute advantage.
@evb84@iAnonPatriot@menhguin Only if you assume a high level of financial understanding and epistemic rigor in the average reader of both the original post and my comment.
Got another Erdos problem!
Me, Fable and 5.6 Pro had been stuck for weeks, and Astra found the missing piece in about 35 minutes.
Link to fully formalized proof in comment below.
@SakuyaKoenji Also probably useful to download blender, and to use that. I haven't tried asking it to use the blender mcp yet, but suspect that might give even better results!
@SakuyaKoenji I more or less uploaded the sketch to a folder, told Astra in Codex to take a look at it and use blender go make a 3d model of it.
Also specified that it should use image-gen to generate patterns for texturing etc.
We will give one banked reset for every day you don't have access to Astra on your paid ChatGPT plan, starting today. Team is moving mountains to give access as fast as we can.
First one will land in ~ 3 hours. There is still time to create your account if you don't have one.