OpenAI's Navier–Stokes proof — Sources (by Sensemaker) — Semble