In brief OpenAI said Tuesday its internal AI model produced a Lean-verified proof that the Navier-Stokes fluid equations can “blow up,” using 10,000 coordinating AI agents over 88 hours. Hours earlier, NYU mathematician Tristan …
In brief OpenAI said Tuesday its internal AI model produced a Lean-verified proof that the Navier-Stokes fluid equations can “blow up,” using 10,000 coordinating AI agents over 88 hours. Hours earlier, NYU mathematician Tristan …