Related posts
bite navier
The the words it uses that this site has seen
least often elsewhere. Posts are matched on those words alone —
nothing here is a summary of this one.
Sources
All Newsletter x.com Blog Mastodon
Top people
Sabine Hossenfelder
Zvi Mowshowitz
Luke Wroblewski
Peter Woit
Erik Hoel
David Crawshaw
Simon Willison
François Chollet
Dillon Mulroy
John Baez
Sam Altman
Terence Tao
Showing Profile →
Show everything
Hiding Show them again
Show them again
Further back ↓
Hiding Show them again
13 September
Writes Don't Worry About the Vase, a near-daily account of what is happening in AI and what they think it means. Former Magic: the Gathering pro and trader; unusually willing to put a number on a belief and to grade their own past calls.
Physicist and science communicator. Writes Backreaction and makes videos explaining new physics and astronomy results, frequently to argue that the headline about them overstates the case.
Midwit here! If the OpenAI Navier Stokes proof had been dropped online by an introverted mathematician who no one previously heard of, you'd all be celebrating the enormous breakthrough and analyzing it rather than writing tales about the demise of maths. OpenAI Related
10 September
Product designer and entrepreneur; author of Mobile First and Web Form Design; formerly a product director at Google; now building AI products.
Large Scale Agent Coordination As AI can agents tackle more work, we naturally assign more work to them. The most notable example this week was OpenAI's use of 10,000 concurrent agents to propose a solution to the Navier–Stokes Millennium Prize Probl…
OpenAI Related
Physicist and science communicator. Writes Backreaction and makes videos explaining new physics and astronomy results, frequently to argue that the headline about them overstates the case.
The Navier Stokes equation isn't just a continuous limit of what's actually made of atoms, it also isn't relativistically invariant, meaning it's not compatible with Einstein's theories. It's a limiting case that works in many cases, but not fundamental. Quoting @Plinz Btw the Navier Stokes problem comes down to: if we lived in a truly continuous universe, fluids might sometimes explode. It’s an issue for the universe of classical mathematics, but does not apply to the computational universe we are in. Related
9 September
Mathematician and Senior Lecturer in the Mathematics department at Columbia University. Author of the book Not Even Wrong and of the long-running physics blog of the same name.
Physicist and science communicator. Writes Backreaction and makes videos explaining new physics and astronomy results, frequently to argue that the headline about them overstates the case.
Neuroscientist and novelist writing on consciousness, artificial intelligence and culture in the newsletter The Intrinsic Perspective.
Software engineer; co-founder and former CTO of Tailscale, previously on the Go team at Google.
The old quote that "computers are useless, they can only give you answers" seems to extend to an LLM solution to a millennium problem. Now we have a blowup in Navier–Stokes equations, but no new insights into mathematical technique or turbulence. LLMs Related
8 September
Co-creator of Django and creator of Datasette; writes daily at simonwillison.net.
Wrote up my thoughts on the whole OpenAI Navier–Stokes Millennium Prize Problem story, and how it highlights the still confusing question of what using my data "to improve model performance" actually means OpenAI Related
Creator of the Keras deep-learning library and the ARC-AGI benchmark.
Terence Tao just posted this really insightful thread which seems to have been written in reaction to the Navier Stokes announcement. Please give it a read. mathstodon.xyz
Related
Principal engineer at Cloudflare as of 2026, on agents and developer tooling. Streams TypeScript, OCaml and Neovim on Twitch, and wrote the better-result library after writing the same Result type about a hundred times.
can solve navier-stokes but can’t write a maintainable typescript abstraction smh TypeScript Related
Mathematical physicist at UC Riverside. Wrote This Week's Finds in Mathematical Physics and now the Azimuth blog on mathematics, physics and environmental science.
News flash: OpenAI claims formal proof that Navier-Stokes solutions can blow up. They used 10,000 agents simultaneously, who sent 2.7 million messages and used ~130 billion output tokens. They will not claim the $1,000,000 Millennium Prize for this result. This prize is not going as expected. The first winner refused to take it, saying the math establishment is corrupt. The second possible winner is a team of 10,000 AIs whose human masters turned down the prize. 😆 https://openai.com/index/navier-stokes-solution/ (1/2) OpenAI Related
Co-founder and CEO of OpenAI; previously president of Y Combinator.
I spent much of the weekend talking with the team who did this work. Seb--and everyone else--acted with integrity and generosity throughout. Initially we believed the other team had also solved the problem. We wanted to collaborate and do a joint release. When we learned that they had Euler but not Navier-Stokes, we offered to let them go first, to suggest that they should be the ones to get the prize, and optionally for Tristan to be the lead author on a rewrite of the OpenAI proof. We felt it was challenging to offer the same to Levent (an Anthropic employee), who was not willing to talk or… Quoting @SebastienBubeck I would like to clarify a few things: 1) The screenshot is my reaching out to Levent to coordinate our releases. I hope it’s clear from the message that we came in with the best possible intentions. 2) I never ever asked for Levent to be removed from authorship of his own work (as indicated by my t… Anthropic OpenAI Related
3 September
Mathematician at UCLA, working mainly in harmonic analysis and partial differential equations. Writes What's new, a long-running blog on their research, open problems and expository notes.
A concrete example of how AI advances in solving key open problems could inihibit the future development of a mathematical field can be found in the global regularity problem for the incompressible Navier-Stokes equations (as well as its counterpart for the Euler equations). Until recently, this problem was on track to be one of the most promising examples of an AI-assisted success story, in which AI tools could be used both to solve the problem and to set the stage for the next round of progress in the field. While the problems remain open for now, there is now an increasingly realistic scen… Related
Nothing matches. Show everything
A korrent is a belief a person has stated in their own words: one
sentence stating the claim, backed by a quote and a source, kept at
korrents.com .
Under a name here, the quoted block is what they actually said.
The korrent beneath it is the claim those words support, in
korrents' wording — tap it to see the record, its source, and who
else holds it.
Nobody here wrote their own korrents. They are compiled from public
statements, and a person can change their mind, which is recorded too.
Got it
About the English under a post
Some people here publish in a language other than English. Where they
do, this site shows a machine translation beneath the post, in
this typeface — the site's own, not theirs.
The post itself is never changed, moved or hidden: what is set in the
serif above is exactly what the person published, and it is what to
quote them on. A translation can be wrong in ways that matter,
especially about tone.
Only the post's own words are translated. A quoted post, a linked
article and a belief on korrents.com
are left in their original language.
Got it