GitHub - openai/NavierStokesAndEuler at 8937a8f4cbc7abaab5e9e97d1cc7f5d2319d9538

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

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

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.

. · openai/ten-proofs@94bc0fe

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@94bc0fe

. · openai/ten-proofs@e9dce9a

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@e9dce9a

[10 05 2025 The Curve] Open Models

Open Models in 2025 Nathan Lambert Interconnects // Ai2 The Curve // 5 October 2025

. · openai/ten-proofs@d0e1ae7

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@d0e1ae7

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.

. · openai/ten-proofs@5a102c1

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@5a102c1

OpenRxiv & Curvenote’s new Reader launch took to the stage at FORCE11 2026

At FORCE11 2026, Curvenote showcased the newly launched Curvenote Reader deployed over all of openRxiv to enthusiastic feedback from scientific publishing leaders — with callouts on the innovation from the opening and closing keynotes as a meaningful step forward for open science.

Tools for Conviviality

Ivan IllichTools for Conviviality1973

Support for atproto at IETF 126

As many of you know, the IETF 126 is happening in Vienna next week and there is a working session on atproto on Thursday, July 23rd. In order to show the IETF that there is interest in the topic from the community, I’m sharing how you can register for remote sessions to the IETF 126, inspired by @chadkoh.com‘s post from IETF 124 in Montreal. Just like previously stated for the Montreal presence, I also think it is important to show that there is a vibrant community interested in atproto that i...

/atproto-crates/crates/atproto-pds at main · ngerakines.me/atproto-crates

A repository on Tangled