Navier–Stokes equations
Read the Portuguese translation →
Mentioned in
Section titled “Mentioned in”- COMO a IA resolveu NAVIER-STOKES (Problema do Milênio)
- Fermat’s Last Theorem proved by AI | Lex Fridman
- OpenAI’s secret model just BROKE math…
- OpenAI Just Changed What It Means To Do Math
Related
Section titled “Related”OpenAI, Lean, GPT-6 Astra, Anthropic, Sakana AI, AlphaEvolve, Scott Aaronson, Lambda, Károly Zsolnai-Fehér, open-weight models, GPT-3