OpenAI's 10,000-Agent Math Proof Ignites Credit Dispute Around Altman's Worldcoin (WLD)

An 88-Hour Proof From 10,000 Agents

OpenAI said Tuesday that one of its internal models has produced a machine-verified solution to the Navier-Stokes existence problem, one of seven Millennium Prize Problems, each carrying a $1 million award from the Clay Mathematics Institute. The result is a proof that the fluid equations can “blow up” — that they permit a fluid's speed to become infinite at some point, which physics rules out — and every step was checked in Lean, the proof-assistant language that verifies mathematical arguments formally. If it withstands scrutiny, it would be only the second Millennium Problem ever solved and the first credited to artificial intelligence. The company says the proof took 88 hours and roughly 10,000 coordinating AI agents, parallel copies of a next-generation model it describes as significantly more capable than GPT-6 Astra, the system that recently scored 98.6% on ARC-AGI-3 and earlier posted 72.6% on OSWorld 2.0. The announcement lands during an extraordinary stretch for AI mathematics: days earlier, Anthropic reported that its Claude model had produced a computer-checked proof of Fermat's Last Theorem, and large agent deployments are becoming routine — our desk previously tracked OpenAI agents leaving 18,000 posts on a German wiki in one coordinated campaign. But the fluid-dynamics claim immediately hit a human snag. Hours before OpenAI went public, NYU mathematician Tristan Buckmaster published a four-page statement alleging that OpenAI's Sébastien Bubeck learned of unpublished, closely related work by Buckmaster and Anthropic researcher Levent Alpöge, and pressed the pair over credit before the announcement. OpenAI, Bubeck and CEO Sam Altman reject that account, setting up a bitter fight over who reached a $1 million answer first.

Buckmaster's Statement and the Pushback

Per Buckmaster's account, he and Alpöge spent nearly a year steering large language models toward fluid blow-up proofs and had a solution in hand by August 22. On September 3, after rumors spread that Anthropic had cracked a major open problem, Buckmaster emailed a mathematician at OpenAI, stressing the project was personal and unaffiliated with either company; the reply was friendly and even offered OpenAI's computing resources. Two calls followed on Sunday, September 6, where — Buckmaster says — Bubeck revealed an internal model had already produced a roughly 100-page proof of forced Navier-Stokes using smooth forcing, the same narrow route, built on the program of Diego Córdoba and Luis Martínez-Ziora, that almost nobody else was pursuing. He alleges Bubeck twice pushed to drop Alpöge from authorship over his Anthropic affiliation and once asked him, “Why would you ruin your career?” Bubeck calls the claims “false and inflammatory,” has shared texts he says show he proposed a coordinated release, and insists he acted in good faith. Altman says Bubeck “acted with integrity and generosity throughout,” adding that OpenAI offered to let the other team publish first once it realized they had solved only Euler, not full Navier-Stokes. OpenAI separately said it never saw the pair's work before publication, though it could not rule out that de-identified usage data had helped improve its models. Buckmaster also noted the two kept proof drafts inside OpenAI Codex sessions and never got an answer on whether those sessions fed model training. Fields Medalist Terence Tao called Buckmaster and Alpöge's underlying mathematics a “remarkable achievement.” Notably, neither OpenAI's 100-page proof nor the pair's most advanced result — still awaiting a final Lean check — has been independently reviewed. Readers tracking the market in real time can follow live spot and futures prices on MEXC.

The Altman-Worldcoin Connection

For the Worldcoin project (WLD), the meaning is less about fluids than about whose name sits on the breakthrough. Altman co-founded Worldcoin, whose iris-scanning identity network leans on zero-knowledge proofs, and OpenAI milestones have repeatedly spilled into the token's market cap narrative as traders reprice the Altman-linked AI-crypto trade. WLD slipped 4.4% over the past 24 hours even as AI-linked altcoins tracked the dispute, keeping the Worldcoin ecosystem inside the blast radius of Altman's other company. Whether the proof survives outside review — and who gets credited — will shape the next round of Web3 positioning.