John Paul Helveston @jhelvy.bsky.social · 09/09/2026Terence Tao on OpenAI's Navier-Stokes solution 020