Mathematician Steven Strogatz used ChatGPT on his walk to grasp the claimed Navier-Stokes singular solution
stevenstrogatz · x · 2026-09-09
Renowned mathematician Steven Strogatz shared that he chatted with ChatGPT while walking to work to make sure he understood what the claimed singular solution to Navier-Stokes would mean physically, then posted a lightly rewritten tweet thread the model generated, highlighting the surprising parts. The post is also a signal of how hot the claimed Navier-Stokes result has become in math circles — and of a famous mathematician using an LLM to parse frontier math.
Related event: Mathematician Strogatz Uses ChatGPT to Explain Navier-Stokes Singularity(3 posts)→
More from Research
- OpenAI claims agent-group solution to 90-year-old Navier-Stokes Millennium Prize Problem — mobav0 · 2026-09-09
- IFM open-sources K2 Horizon: six models, 20T tokens each, and a public reward-hacking audit — kimmonismus · 2026-09-09
- Dev launches aggregator site collecting all statements on OpenAI's claimed Navier–Stokes proof — NathanpmYoung · 2026-09-09
- Astra's in-house chess helper engine can force or block specific game outcomes, docs show — MikePFrank · 2026-09-09
- Anshul Kundaje: genomics is just scratching the surface of an AI-driven breakthrough era — anshulkundaje · 2026-09-09
- Stanford's Kundaje: ML-for-Bio Needs to Move Beyond Traditional Peer Review — anshulkundaje · 2026-09-09