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.

mathematicians love putting "an introduction to" in the title of a textbook that contains the most fucked up and domain specific information possible

If you are a mathematician, then you may want to make sure you are sitting down before reading further.

More people live outside this circle than inside it