GitHub - openai/NavierStokesAndEuler at 8937a8f4cbc7abaab5e9e97d1cc7f5d2319d9538
Lean certificates accompanying Navier-Stokes and Euler results - openai/NavierStokesAndEuler
NIK on Twitter / X
>sam altman: "we tried this because there were rumor on the internet">rumor: math professor close to solving navier-stokes>the professor: using codex for a year>openai: has all his logs>checked every codex session tagged to N-S>found the most promising one>spun up 10,000… pic.twitter.com/RInlP88gmA— NIK (@ns123abc) September 8, 2026
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Navier-Stokes Equation - Clay Mathematics Institute
This is the equation which governs the flow of fluids such as water and air. However, there is no proof for the most basic questions one can ask: do solutions exist, and are they unique? Why ask for a proof? Because a proof gives not only certitude, but also understanding.
tristanbuckmaster (@tristanbuckmaster@mastodon.social)
Today, Levent Alpöge and I have made public three results: finite-time blowup with smooth forcing for incompressible porous media, for Boussinesq, and for 3d incompressible Euler. https://cims.nyu.edu/~tristanb/statement.pdf https://cims.nyu.edu/~tristanb/euler.pdf https://cims.nyu.edu/~tristanb/ipm.pdf https://cims.nyu.edu/~tristanb/boussinesq.pdf https://github.com/tristanbuckmaster/fluid_lean
Homepage — PL Neuro
David A. Markowitz, Juan Benet, Jacques Carolan, Eli Dourado, Thomas Kalil, Amy Kruse, Adam Marblestone, Patrick Mineault, Joanne Peng, Joshua Rosenow, Sean Escola
An untitled post from Mar 2011
Posted on Thursday 17 Mar 2011. 1,130 words, 10 links. By Matt Webb.
brianell.in/atproto-claude-skill
A claude skill that has access to all of the atproto docs and reference implementations
ATproto facilitates competition - Tynan's Leaflets
Content is not a moat anymore. You have to compete on experience.
The Viscous Frontier
open.substack.comDid a quick write up on the work I've been enjoying to make a PDS distributed. #atproto
The journey to a distributed PDS - Wills thoughts
willdot.leaflet.pubATProto
Marque · Domain registrar for the AT Protocol
kipclip — Own your bookmarks. A Pinboard alternative on AT Protocol.
BookHive — Reading is better together
ATmentions
Margin
Taproot - AT Protocol Explorer
