The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
Notable: “read from a cached version of … The Internet”
Does this solution confirm that, provided all the conditions are met, we will be able to create a spacecraft that will fly at a speed many times greater than the speed of light, using vortex displacement, which can be achieved — I’m exaggerating, of course, but thanks to the force of two rotating magnets? And one more thing: according to Einstein’s theories, this could be considered a time machine!
Welcome to the community!
I’ve got a physics background (from ages ago) but I am by no means an expert. But it doesn’t relate to any FTL travel, and Navier-Stokes is non-relativistic so it wouldnt hold for matter moving close to the speed of light. It’s more about the general characteristics of turbulances and singularities, in a mathematical sense. Like not a singularity of the universe but more something like, when the rate at which velocity changes from point A to point B becomes infinite.
This is seriously impressive. The interesting part isn’t just that AI generated a proof, but that multiple agents were able to work together and produce a formal Lean version that can actually be checked.
If this holds up under independent mathematical review, it could be a pretty major milestone for AI-assisted mathematics. I’m especially curious to see how human mathematicians validate the key steps and whether the approach can be applied to other long-standing problems.
The combination of agents + formal verification feels like where things are getting really interesting.