>·10 min
OpenAI's AI Swarm Proposes a Solution to Navier–Stokes
OpenAI says a 10,000-agent swarm found finite-time blowup for Navier–Stokes and formalized the result in Lean. Mathematicians are now checking what it proves.
openaiai-agentsmathematics
>read more_