---
format: "aidr-story-markdown/v1"
id: "1d977876014d13d06569138f11e86311abfe7b1cc05db7e28b72be3bc7cdc7a1"
canonical_url: "https://aidr.today/1d977876?lang=en"
title: "On the Navier–Stokes Millennium Prize Problem"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-09-08T17:53:17.000Z"
category: "Research"
topics: ["reasoning","research","openai","llm","multi-agent","benchmark","safety","gpt"]
source_urls: ["https://openai.com/index/navier-stokes-solution/","https://lobste.rs/s/hczzuo/on_navier_stokes_millennium_prize","https://openai.com/index/navier-stokes-solution","https://x.com/AndrewCurran_/status/2097379101485269180","https://x.com/markchen90/status/2097377602638053616","https://x.com/wallstengine/status/2097377006082228346","https://x.com/unusual_whales/status/2097368617197461777","https://x.com/ArtemR/status/2097379858481594408"]
summary: "We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean."
---

# On the Navier–Stokes Millennium Prize Problem

> [Open the canonical story](<https://aidr.today/1d977876?lang=en>)

**Published:** 2026-09-08T17:53:17.000Z
**Category:** Research
**Topics:** reasoning, research, openai, llm, multi\-agent, benchmark, safety, gpt

## Summary

We’re sharing an AI\-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean\.

## Sources

- [Story source](<https://openai.com/index/navier-stokes-solution/>)
- [Discussion](<https://lobste.rs/s/hczzuo/on_navier_stokes_millennium_prize>)
- [Story source](<https://openai.com/index/navier-stokes-solution>)
- [Story source](<https://x.com/AndrewCurran_/status/2097379101485269180>)
- [Supporting source](<https://x.com/markchen90/status/2097377602638053616>)
- [Supporting source](<https://x.com/wallstengine/status/2097377006082228346>)
- [Supporting source](<https://x.com/unusual_whales/status/2097368617197461777>)
- [Story source](<https://x.com/ArtemR/status/2097379858481594408>)