HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
openai
NavierStokesAndEuler
Lean2026–2026
openai / NavierStokesAndEuler

NavierStokesAndEuler

Lean certificates accompanying Navier-Stokes and Euler results

Explore on GitHubRead Hacker News discussions
15Distinct people
20Mentions
0Explicit recommenders
2.1KGitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

Lean certificates accompanying Navier-Stokes and Euler results

GitHub

Where it is used

The last source check was inconclusive. This does not establish whether a product uses it.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 8–Nov 15 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/15/2026, 8:03:49 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by day20 dated mentions

Observed mentions: 2026-09-08 17:19:07 UTC to 2026-10-08 09:25:15 UTC.

02462026-09-08 00:00:00 UTC to 2026-09-09 00:00:00 UTC (exclusive): 4 mentions; 0 submissions, 4 commentsSep 82026-09-09 00:00:00 UTC to 2026-09-10 00:00:00 UTC (exclusive): 7 mentions; 1 submissions, 6 comments2026-09-10 00:00:00 UTC to 2026-09-11 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments2026-09-11 00:00:00 UTC to 2026-09-12 00:00:00 UTC (exclusive): 3 mentions; 1 submissions, 2 comments2026-09-12 00:00:00 UTC to 2026-09-13 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments2026-09-13 00:00:00 UTC to 2026-09-14 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments2026-09-14 00:00:00 UTC to 2026-09-15 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-15 00:00:00 UTC to 2026-09-16 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-16 00:00:00 UTC to 2026-09-17 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-17 00:00:00 UTC to 2026-09-18 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-18 00:00:00 UTC to 2026-09-19 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-19 00:00:00 UTC to 2026-09-20 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-20 00:00:00 UTC to 2026-09-21 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-21 00:00:00 UTC to 2026-09-22 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-22 00:00:00 UTC to 2026-09-23 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-23 00:00:00 UTC to 2026-09-24 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 commentsSep 232026-09-24 00:00:00 UTC to 2026-09-25 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-25 00:00:00 UTC to 2026-09-26 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-26 00:00:00 UTC to 2026-09-27 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-27 00:00:00 UTC to 2026-09-28 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-28 00:00:00 UTC to 2026-09-29 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-29 00:00:00 UTC to 2026-09-30 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-09-30 00:00:00 UTC to 2026-10-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-01 00:00:00 UTC to 2026-10-02 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-02 00:00:00 UTC to 2026-10-03 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-03 00:00:00 UTC to 2026-10-04 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-04 00:00:00 UTC to 2026-10-05 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-05 00:00:00 UTC to 2026-10-06 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-06 00:00:00 UTC to 2026-10-07 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-07 00:00:00 UTC to 2026-10-08 00:00:00 UTC (exclusive): 2 mentions; 0 submissions, 2 comments2026-10-08 00:00:00 UTC to 2026-10-09 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsOct 8

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
Sep 82026-09-08 00:00:00 UTC2026-09-09 00:00:00 UTC404
Sep 92026-09-09 00:00:00 UTC2026-09-10 00:00:00 UTC716
Sep 102026-09-10 00:00:00 UTC2026-09-11 00:00:00 UTC101
Sep 112026-09-11 00:00:00 UTC2026-09-12 00:00:00 UTC312
Sep 122026-09-12 00:00:00 UTC2026-09-13 00:00:00 UTC101
Sep 132026-09-13 00:00:00 UTC2026-09-14 00:00:00 UTC101
Sep 142026-09-14 00:00:00 UTC2026-09-15 00:00:00 UTC000
Sep 152026-09-15 00:00:00 UTC2026-09-16 00:00:00 UTC000
Sep 162026-09-16 00:00:00 UTC2026-09-17 00:00:00 UTC000
Sep 172026-09-17 00:00:00 UTC2026-09-18 00:00:00 UTC000
Sep 182026-09-18 00:00:00 UTC2026-09-19 00:00:00 UTC000
Sep 192026-09-19 00:00:00 UTC2026-09-20 00:00:00 UTC000
Sep 202026-09-20 00:00:00 UTC2026-09-21 00:00:00 UTC000
Sep 212026-09-21 00:00:00 UTC2026-09-22 00:00:00 UTC000
Sep 222026-09-22 00:00:00 UTC2026-09-23 00:00:00 UTC000
Sep 232026-09-23 00:00:00 UTC2026-09-24 00:00:00 UTC000
Sep 242026-09-24 00:00:00 UTC2026-09-25 00:00:00 UTC000
Sep 252026-09-25 00:00:00 UTC2026-09-26 00:00:00 UTC000
Sep 262026-09-26 00:00:00 UTC2026-09-27 00:00:00 UTC000
Sep 272026-09-27 00:00:00 UTC2026-09-28 00:00:00 UTC000
Sep 282026-09-28 00:00:00 UTC2026-09-29 00:00:00 UTC000
Sep 292026-09-29 00:00:00 UTC2026-09-30 00:00:00 UTC000
Sep 302026-09-30 00:00:00 UTC2026-10-01 00:00:00 UTC000
Oct 12026-10-01 00:00:00 UTC2026-10-02 00:00:00 UTC000
Oct 22026-10-02 00:00:00 UTC2026-10-03 00:00:00 UTC000
Oct 32026-10-03 00:00:00 UTC2026-10-04 00:00:00 UTC000
Oct 42026-10-04 00:00:00 UTC2026-10-05 00:00:00 UTC000
Oct 52026-10-05 00:00:00 UTC2026-10-06 00:00:00 UTC000
Oct 62026-10-06 00:00:00 UTC2026-10-07 00:00:00 UTC000
Oct 72026-10-07 00:00:00 UTC2026-10-08 00:00:00 UTC202
Oct 82026-10-08 00:00:00 UTC2026-10-09 00:00:00 UTC101

What Hacker News says

2 sources
latent-person·Oct 7, 2026
> That's not a trivial if: stating the problem precisely is often as hard as the proof. Really? You think 300 lines of Lean code [1] is just as hard as the proof (or even remotely close)? Also note, as the README says [2], that the theorem was written independently by formal conjectures, not by the LLM. [1]:https://github.com/openai/NavierStokesAndEuler/blob/main/Com... [2]: https://github.com/openai/NavierStokesAndEuler/blob/main/Com...
In Navier–Stokes Lost in Translation

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.