"Every math problem simpler than Navier-Stokes should now be considered solvable"
finbarrtimbers · x · 2026-09-09
Reacting to OpenAI's announced solution to the Navier-Stokes Millennium Prize Problem, AI researcher Finbarr Timbers makes a bold claim: every mathematical problem simpler than Navier-Stokes should now be considered solvable — framing the breakthrough as a watershed for mathematical research.
More from AGI Musings
- Commenter doubles down: safety delays won't change for the next model either — Darpinian · 2026-09-09
- Alignment researcher reaffirms 2023 essay: AI alignment is fundamentally tractable — QuintinPope5 · 2026-09-09
- Chamath's 8090 says 'the singularity is here' — while hiring across all GTM roles — GarrisonLovely · 2026-09-09
- She tried AI voice mode in the shower and now draws a hard 'no AI' line — alliekmiller · 2026-09-09
- Physicist Daniel Whiteson: 'solving mathematics' is a nonsense phrase — DanielWhiteson · 2026-09-09
- Eric Jang predicts recursive self-improvement by end of 2026 — ericjang11 · 2026-09-09