OpenAI claims NavierโStokes: math becomes AIโs proving ground
At the Heidelberg Laureate Forum, OpenAIโs NavierโStokes claim ignited debate. AI companies are turning math into a benchmark, while academics report pressure, costs, and verification shifting outside peer control. The split is not only about theorem...