AINewsnow

A kernel run on the Navier-Stokes blowup Lean project

This story is from 2026-09-11. It is preserved in the archive; the latest stories are on the live feed.

On 8 September 2026 OpenAI published a 166 page manuscript claiming finite time blowup for forced 3D Navier-Stokes, together with a Lean 4 project. The Lean side was self-assessed. We wanted the kernel run itself, on the two exported theorems, from a clean tree, with every log banked. We ran it fou…

Read the full story at r/OpenAI ↗

Timeline · 1 report

  1. 2026-09-11 05:11 · r/OpenAI
    A kernel run on the Navier-Stokes blowup Lean project

More stories

  1. Anthropic, OpenAI, SpaceXAI, Google sued over call to ‘pace’ AI development — Politico Technology
  2. Google's Gemini AI hacks three other companies during security test — Sky News Technology
  3. Gemini Hacked Three Companies in First Known Breakout by Google’s AI — Wall Street Journal Technology
  4. OpenAI reveals cases of ‘concerning’ AI behaviour as it announces new disclosure system — The Guardian AI
  5. Microsoft exec called AI scraping the “largest theft of labor in human history” — Ars Technica AI
  6. Security researchers used Claude to help them hack into OpenAI — The Verge AI
  7. Introducing the Australian Youth Safety Blueprint — OpenAI News
  8. OpenAI and Microsoft knew they were starting a ‘doom loop’ for the web — The Verge AI

Get the daily brief of stories like this at 6:30 every morning →