ScienceOpenAI breakthrough revives fears that AI could become uncontrollable
OpenAI says an internal system coordinated about 10,000 AI agents to solve the Navier-Stokes existence and smoothness problem in 88 hours, with GPT-6 Astra later formalizing and verifying the result in Lean. The proof still requires wider scrutiny, but the claimed advance has intensified concerns about the widening gap between private frontier models, public tools and the risks of runaway AI.
OpenAI breakthrough revives fears that AI could become uncontrollable
Science