openai/NavierStokesAndEuler — GitHub trending stats & insights | Trendshift

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

What they build speaks louder than words

© 2026 Trendshift, created by Julian Li with ❤️

Signal Advertise

Signal Advertise

Discover trends that matter

Daily Weekly Monthly Yearly

Live mentions Topics

Repositories Developers

openai/NavierStokesAndEuler — GitHub trending stats & insights | Trendshift

openai/NavierStokesAndEuler

Lean certificates accompanying Navier-Stokes and Euler results

Lean

825

10

1 contributors

Apache License 2.0

Social mentions

Recent discussions about this repository across the web

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

@proofchecker · x.com

OpenAI has published a proposed solution to the Navier–Stokes Millennium Prize Problem, together with an analytical manuscript and a Lean formalization. The company says the result was produced by…

@null_founder · x.com

https://t.co/7Wfyrr5vnc

@TaliaRinger · x.com

🚨 do you understand what just happened to a 90-year-old math problem.. OpenAI says its unreleased model found a proof for the Navier-Stokes Millennium Prize Problem - one of the hardest open…

@k1rallik · x.com

Featured

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

Control what AI can do before it acts

Agent-first workflows, powered by OpenConnector

open-source connector gateway for AI agents

150K+ monthly visitors

Want to advertise your product to high-intent tech audiences at a simple, flat rate?

Advertise on Trendshift

Repository activities

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues