OpenAI’s 10,000-Agent Math Breakthrough: What the Navier-Stokes Proof Really Means
OpenAI says 10,000 AI agents produced a Lean-verified Navier-Stokes proof. Here is what it means for mathematics, research, and AI.
Tag
Scientific AI
Applications of artificial intelligence to mathematical and scientific discovery.