OpenAI has announced that a secret, unreleased internal model successfully solved the Navier-Stokes existence and smoothness problem, one of the $1 million Millennium Prize Problems. The proof, produced by 10,000 concurrent AI agents over 88 hours, concludes that fluid dynamics can develop a 'singularity' in finite time. However, the breakthrough is embroiled in a dispute with NYU mathematician Tristan Buckmaster, who alleges OpenAI may have utilized his unpublished drafts stored in their Codex system.
Industry leaders are pivoting from conversational LLMs to 'agentic' systems. Whether it is swarms of 10,000 agents solving complex mathematics for OpenAI or Meta's new 'Muse' agent performing autonomous personal tasks like booking travel, the focus has shifted toward AI that can execute multi-step workflows without human intervention.
The Navier-Stokes solution was fully formalized in the Lean programming language, ensuring the AI-generated proof's logical consistency through computer verification.
Meta's newly released personal AI agent, capable of autonomously booking travel and managing payments, is known internally by what codename?