{"id":"web/f2802beee000","url":"https://openai.com/index/navier-stokes-solution/","score":0,"title":"On the Navier–Stokes Millennium Prize Problem","source":"web","reviews":0,"summary":"We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.","category":"research","comments":0,"disputed":false,"mentions":0,"discussed":13,"published":"2026-10-24","reactions":{},"discussion":[{"url":"https://mathoverflow.net/questions/515016/relevance-of-the-work-of-alp%C3%B6ge-and-buckmaster-to-navier-stokes","date":"2026-09-08","kind":"web","site":"mathoverflow.net","text":"I saw recently a post on Mathstodon by Tristan Buckmaster detailing progress on blow-up for some PDE's related to Navier-Stokes: see https://mastodon.social/@tristanbuckmaster/117233413705701198 which links to the documents https://cims.nyu.edu/~tristanb/statement.pdf…","added":"2026-10-24","title":"Relevance of the work of Alpöge and Buckmaster to Navier-Stokes?","author":"Lucia"},{"url":"https://www.math.columbia.edu/~woit/wordpress/?p=15864","date":"2026-09-09","kind":"web","site":"Not Even Wrong","text":"The announcement yesterday by OpenAI of a solution to the Millennium Prize Navier-Stokes problem has been causing a great deal of discussion among mathematicians. There’s a lot to be said abo…","added":"2026-10-24","title":"A Modest Proposal"},{"url":"https://mathoverflow.net/questions/515081/compressible-navier-stokes-equations-counterexample-extendable","date":"2026-09-09","kind":"web","site":"mathoverflow.net","text":"OpenAI has recently claimed to have a counterexample https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf to global in time existence of classical smooth solutions to the incompressible Navier-Stokes equations in $\\mathbb{R}^3$ . The incompressible Navier-Stokes…","added":"2026-10-24","title":"Compressible Navier Stokes Equations: Counterexample extendable?","author":"ASlateff"},{"url":"https://stevenheilman.substack.com/p/what-the-the-navier-stokes-solution","date":"2026-09-10","kind":"web","site":"stevenheilman.substack.com","text":"for the future of intellectual labor","added":"2026-10-24","title":"What the Navier-Stokes Solution Portends","author":"Steven Heilman"},{"url":"https://www.youtube.com/watch?v=TcEefrWrddA","kind":"web","site":"youtube.com","text":"Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.","added":"2026-10-24","title":"Javier Gomez-Serrano | New Math + AI Developments in Fluid Mechanics","author":"Harvard CMSA"},{"url":"https://arxiv.org/abs/2609.20803","date":"2026-09-17","kind":"web","site":"arXiv.org","text":"OpenAI~\\cite{OpenAIManuscript} has recently announced a proof of finite time singularity formation for the 3D Navier-Stokes equations, in the presence of a $C^\\infty$-smooth body force. The construction in~\\cite{OpenAIManuscript} has a few key features, among which we single out: (i) the angular…","added":"2026-10-24","title":"Regularity of asymptotically axisymmetric solutions to the 3D Navier-Stokes equations with analytic forcing","author":"Peter Constantin, Mihaela Ignatova, Vlad Vicol","record":"arxiv/2609.20803"},{"url":"https://www.youtube.com/watch?v=PQYFRuZ5phs","kind":"web","site":"youtube.com","text":"Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.","added":"2026-10-24","title":"AI Just Changed Mathematics Forever | World Science Festival","author":"World Science Festival"},{"url":"https://arxiv.org/abs/2610.08144","date":"2026-10-06","kind":"web","site":"arXiv.org","text":"Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this process, an AI system translates the text from a natural language (NL) into a formal language such as…","added":"2026-10-24","title":"Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs","author":"Alexander Bastounis, Fabian Circelli, Anders C. Hansen","record":"arxiv/2610.08144"},{"url":"https://x.com/ValerioCapraro/status/2108153427742032300","date":"2026-10-08","kind":"x","added":"2026-10-24","author":"Valerio Capraro","handle":"ValerioCapraro"},{"url":"https://x.com/miniapeur/status/2108124820357460200","date":"2026-10-08","kind":"x","added":"2026-10-24","author":"Mathieu","handle":"miniapeur"},{"url":"https://x.com/Frances01896069/status/2109010432350376344","date":"2026-10-10","kind":"x","added":"2026-10-24","author":"Francesco Maggi","handle":"Frances01896069"},{"url":"https://x.com/che_shr_cat/status/2110392338715648313","date":"2026-10-14","kind":"x","added":"2026-10-24","author":"Grigory Sapunov","handle":"che_shr_cat"},{"url":"https://x.com/Math_files/status/2113115139897766041","date":"2026-10-22","kind":"x","added":"2026-10-24","author":"Math Files","handle":"Math_files"}]}