Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost

openai/NavierStokesAndEuler

Lean certificates accompanying Navier-Stokes and Euler results

Visit GitHub
Lean
2.1k
234
1 contributors
Apache License 2.0
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast openai/NavierStokesAndEuler is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Sep 7 – Oct 27, 2026

Stars +1,866 in 51 days

05001K
812

Forks +234 in 51 days

050100
82

Merged PRs 0 in 51 days

01

Trendshift Trendingwhere the repository ranked each day it made the top 25

Top 25 overall

5

Top 25 in Lean

1112111211635132197291072013736215101071918
Sep 7Sep 14Sep 21Sep 28Oct 5Oct 12Oct 19Oct 26
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRsAll languagesLean
Mon, Sep 7, 2026+0+00Not trendingNot trending
Tue, Sep 8, 2026+492+570Not trending#1
Wed, Sep 9, 2026+812+820#5#1
Thu, Sep 10, 2026+165+260Not trending#1
Fri, Sep 11, 2026+62+120Not trending#2
Sat, Sep 12, 2026+46+40Not trending#1
Sun, Sep 13, 2026+33+100Not trending#1
Mon, Sep 14, 2026+35+40Not trending#1
Tue, Sep 15, 2026+22+30Not trending#2
Wed, Sep 16, 2026+14+20Not trending#1
Thu, Sep 17, 2026+11+20Not trending#1
Fri, Sep 18, 2026+11+10Not trending#6
Sat, Sep 19, 2026+10+00Not trending#3
Sun, Sep 20, 2026+7+10Not trending#5
Mon, Sep 21, 2026+7+10Not trending#13
Tue, Sep 22, 2026+9+20Not trending#2
Wed, Sep 23, 2026+4+10Not trending#19
Thu, Sep 24, 2026+8+10Not trending#7
Fri, Sep 25, 2026+1+00Not trendingNot trending
Sat, Sep 26, 2026+9+30Not trending#2
Sun, Sep 27, 2026+8+00Not trending#9
Mon, Sep 28, 2026+1+00Not trendingNot trending
Tue, Sep 29, 2026+0+00Not trendingNot trending
Wed, Sep 30, 2026+2+10Not trendingNot trending
Thu, Oct 1, 2026+1+00Not trendingNot trending
Fri, Oct 2, 2026+3+20Not trending#10
Sat, Oct 3, 2026+4+00Not trending#7
Sun, Oct 4, 2026+2+00Not trending#20
Mon, Oct 5, 2026+3+00Not trending#13
Tue, Oct 6, 2026+5+20Not trending#7
Wed, Oct 7, 2026+16+30Not trending#3
Thu, Oct 8, 2026+11+20Not trending#6
Fri, Oct 9, 2026+13+10Not trending#2
Sat, Oct 10, 2026+1+20Not trendingNot trending
Sun, Oct 11, 2026+4+00Not trending#15
Mon, Oct 12, 2026+5+20Not trending#10
Tue, Oct 13, 2026+2+00Not trendingNot trending
Wed, Oct 14, 2026+6+10Not trending#10
Thu, Oct 15, 2026+7+10Not trending#7
Fri, Oct 16, 2026+1+10Not trendingNot trending
Sat, Oct 17, 2026+3+00Not trending#19
Sun, Oct 18, 2026+0+00Not trendingNot trending
Mon, Oct 19, 2026+2+10Not trending#18
Tue, Oct 20, 2026+1+10Not trendingNot trending
Wed, Oct 21, 2026+2+00Not trendingNot trending
Thu, Oct 22, 2026+1+10Not trendingNot trending
Fri, Oct 23, 2026+1+00Not trendingNot trending
Sat, Oct 24, 2026+0+10Not trendingNot trending
Sun, Oct 25, 2026+2+00Not trendingNot trending
Mon, Oct 26, 2026+0+00Not trendingNot trending
Tue, Oct 27, 2026+1+00Not trendingNot trending
Total+1,866+2340
  • 1#1 on the list
  • 7Rank that day
  • Not trending

    • Mentions and achievements

    Where people are talking about openai/NavierStokesAndEuler, and every badge it has earned
    1. Sep 261 post

      • • Shows fluid blowup for all viscosities • Covers whole space and periodic box • Euler singularity proven with formal proof

        Read full on X, posted by @the_osps

        @the_osps · x.com

    2. 12 days earlier
    3. Sep 142 posts

      • La inteligencia artificial está llevando la matemática de vanguardia a nuevas fronteras. El equipo de OpenAI ha utilizado IA para abordar desafíos complejos en ecuaciones de fluidos. OpenAI (1891…

        Read full on X, posted by @TellusCoop

        @TellusCoop · x.com

      • MongoDB is a document database used for the booking backend's CQRS read models. Its query API supports document lookups, pipelines, analytics, and data transformations.

        Read full on X, posted by @ainotesus

        @ainotesus · x.com

    4. Sep 131 post

      • The ugly bit: Tristan Buckmaster (NYU) and Levent Alpöge (Anthropic) claim they broke through August 15 after a year of work, and that OpenAI launched after hearing about it. Buckmaster published a…

        Read full on X, posted by @mrru5s3ll

        @mrru5s3ll · x.com

    5. Sep 111 post2 posts

      • 一项偏微分方程结果，怎样从论文变成可复核的构建产物？ 这个 Lean 项目把 Navier-Stokes 与 Euler 的有限时间奇性结果拆成独立模块，并锁定 Lean、Mathlib 和 Lake 依赖。重点不只是形式化证明，而是让定理链可构建、可复查，还预留 Comparator 的独立检查路径。

        Read full on X, posted by @vintcessun

        @vintcessun · x.com

      • Framing Banach–Tarski and Navier–Stokes singularities: Applying Bridge360 Metatheory Model September 1, 2025 lens

        Read full on Reddit

        r/u_propjerry

    6. Sep 94 posts

      • Lean certificates accompanying Navier-Stokes and Euler results

        Read full on Hacker News

        Hacker News

      • CUE 3 — THE SCENE WITH NO SCORE Bach, Art of Fugue, Contrapunctus I. The Lean file compiling. The only character here who cannot give an interview afterwards.

        Read full on X, posted by @evamirandag

        @evamirandag · x.com

      • 近24h精选： 1. MiniMind — 低成本从零训小模型 2. NavierStokesAndEuler — NS/Euler Lean 证明仓 3. Claude Code RSI — 清旧 Prompt 技术债 更多： #工具推荐 #开源 #AI #精选

        Read full on X, posted by @mspd4100

        @mspd4100 · x.com

      • It seems they posted the proof of their solution to the Euler question but not the Navier-Stokes one. Weird!

        Read full on X, posted by @proofchecker

        @proofchecker · x.com

    You might also like

    Repositories close to openai/NavierStokesAndEuler
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

    Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

    openai/ten-proofs

    Lean

    Lean certificates accompanying ten proofs in mathematics and theoretical computer science

    21630

    google-deepmind/alphaproof-nexus-results

    Lean

    Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

    32232

    openai/math

    Lean
    15.8k1.8k

    facebookresearch/autoform-bot

    Python

    Autoform Bot

    12936

    optpku/ReasBook

    Python

    ReasBook main branch mirror for self-hosted CI

    6515

    lean-dojo/LeanMillenniumPrizeProblems

    Lean

    Formalization of the Millennium Problems in Lean 4

    7120

    impermeable/rocq-waterproof

    Rocq Prover

    The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

    5219

    scottnarmstrong/LeanAutoformalizationSkills

    Python

    Portable Lean 4 autoformalization skills for Codex and Claude Code

    567

    Xiuyiw/CFD-SCIPaper-Agent

    Python

    Author-in-the-loop toolkit for turning mature CFD evidence into defensible research directions, reproducible figures, and traceable scientific prose.

    48