# openai/NavierStokesAndEuler

> Lean 4 formalizations of finite-time blowup results for the Navier–Stokes and Euler equations, including certificates for Millennium Prize problems. Intended for mathematicians and formal proof researchers.

- Magnitude: 0.8 out of 10 — Steady
- Stars: 2,102 total · +3 stars measured 2026-10-17, 00:25–23:43 UTC
- Star trust: star growth looks organic
- Category: Science & research · Language: Lean · License: Apache-2.0 · Created: 2026-09-08 · Last push: 2026-09-10
- GitHub: https://github.com/openai/NavierStokesAndEuler · Page: https://gitnova.dev/en/r/openai/NavierStokesAndEuler

## Useful for

- Check the formal proofs of blowup results for the Navier–Stokes equations
- Build the project with Mathlib via lake build for independent certificate checking
- Study the Lean 4 formalization of Euler equation singularity results

## Why it’s here

- Star-counter measurements on 2026-10-17 (UTC), 00:25–23:43: 2099 → 2102 stars (+3). This is the change over that interval.
- The repository is 39 days old and already has 2,102 stars.

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 221
- Issues and pull requests: 0
- Watchers: 55
- Average over the last week: 4 per day
- Usual pace: 15 per day

## Stars per day, last 30 days (oldest → newest, today is partial)

2026-09-30 … 2026-10-29: 6, 3, 6, 2, 5, 3, 9, 15, 17, 8, 3, 5, 3, 4, 5, 7, 3, 3, None, None, None, None, None, None, None, None, None, None, None, None

## Magnitude by day, last 14 days

10-04 0.8, 10-05 1.1, 10-06 1.0, 10-07 1.8, 10-08 1.9, 10-09 2.0, 10-10 1.4, 10-11 1.0, 10-12 1.2, 10-13 0.9, 10-14 1.2, 10-15 1.2, 10-16 1.2, 10-17 0.9

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-10-17 23:45 UTC, updated every 30 minutes.