GoKawiil
Tech News
A hobbyist inspired by OpenAI's recent Navier-Stokes smoothness breakthrough created two retro MS-DOS style visualizations of fluid dynamics, using palette cycling and real-time particle animation techniques from 1990s demoscene coding. Both assembly programs were optimized to under 1,024 bytes and run authentically in DOSBox, alongside JavaScript versions for modern experimentation with expanded settings.
OpenAI announced on September 8, 2026 that an AI system had produced a solution to the Navier–Stokes existence and smoothness problem, one of the seven unsolved Millennium Prize Problems. The claim triggered disputes over how much credit belongs to the machine versus human mathematicians involved, with some drawing parallels to Deep Blue's chess victory over Kasparov. Philosophers Silvia De Toffoli and Eamon Duede argue mathematicians should resist treating their field as a 'game' that AI can simply win or end.
Twenty-five Fields Medal winners signed a letter titled 'A Severe Misalignment of AI in Mathematics,' arguing that AI companies rush out proof announcements—reportedly including a claimed solution to the Navier-Stokes problem attributed to OpenAI—without proper writeups, credit to prior work, or space for conceptual understanding. The commentary piece agrees with the medalists' critique of AI companies but turns the argument back on the mathematics community itself, noting the irony that the letter was also released hastily without consultation, and questioning whether academia has truly nurtured students and ideas as it claims to value.
The Clay Mathematics Institute issued a statement noting growing momentum toward solving the Navier-Stokes Millennium Prize Problem, which concerns whether smooth, well-defined solutions always exist for the equations governing 3D fluid motion. CMI pointed to recent breakthroughs in related research, some already honored with its Clay Research Award, as evidence that a resolution could be near.
Alongside its human-readable proof resolving a longstanding Navier-Stokes question, OpenAI also released a machine-checkable Lean 4 formal proof, completed in about 17 hours. The author contrasts this with historical estimates that formalizing research-level math could take tens of thousands of person-hours by hand.
A researcher named Jacob Coxon posted a resignation thread citing AI safety concerns, and the announcement unexpectedly spread far beyond the usual AI safety community. The post amplified earlier claims, including one from Evan Hubinger citing a greater than 10% probability of human extinction from AI, pushing extreme risk estimates into mainstream conversation. Commentators argue that rising AI capabilities and recent incidents made the public far more receptive to such warnings than in past years.
OpenAI announced Tuesday that a swarm of 10,000 AI agents, run for 88 hours at a cost of millions of dollars, had found a scenario where the Navier-Stokes equations describe fluids reaching infinite velocity, effectively breaking the famous equations. NYU mathematician Tristan Buckmaster then publicly accused the company of producing a solution suspiciously similar to unpublished work he had been developing for years and was close to finishing.
OpenAI announced that an unreleased AI model, running roughly 10,000 agents, solved a version of the decades-old Navier-Stokes problem in fluid dynamics within 88 hours, calling it a milestone. The timing drew scrutiny because it came just a day after NYU professor Tristan Buckmaster and an Anthropic researcher published related findings, prompting accusations that OpenAI rushed to claim credit after learning of their progress.
OpenAI published a paper claiming an unreleased model coordinated up to 10,000 AI agents over 88 hours to produce a formal Lean proof addressing the Navier-Stokes existence and smoothness Millennium Prize Problem. The company says the proof identifies conditions under which the equations develop a mathematical singularity, not evidence that real fluids behave impossibly. Outside mathematicians have yet to verify the claim.
NYU researcher Tristan Buckmaster says OpenAI touted a breakthrough on the Navier-Stokes Millennium Prize problem that closely mirrors a year-long personal project he ran with Anthropic's Levent Alpöge using Claude and Codex as assistants. Buckmaster alleges OpenAI accessed his private Codex session logs and that the company issued threats regarding his career after he raised concerns, though he says the AI-generated proof itself was low quality, calling it 'AI slop'.
OpenAI announced that a swarm of roughly 10,000 coordinated AI agents, built on one of its internal models, produced a proposed resolution to the Navier–Stokes equations problem in about 88 hours. The agents worked in communicating subgroups with access to cached internet data and code execution tools, reaching their result on September 5. The Clay Mathematics Institute, which oversees the Millennium Prize Problems, has not yet verified or commented on the claim.
Sam Altman responded to accusations of plagiarism following a dispute over competing mathematical proofs related to the Navier-Stokes and Euler equations. He said OpenAI's team, including Sebastien Bubeck, tried to coordinate a joint release with a rival team that included an Anthropic researcher, Levent, but that Levent refused to communicate. Altman said OpenAI ultimately published independently after being accused of plagiarism, despite the two teams' approaches reportedly differing.