mastodon — José A. Alonso — 9 Sep 2026
Clay Institute won't call Navier-Stokes solved after OpenAI proof claim. ~ Marcus Schuler. https://www. implicator.a…
#ai-assisted-mathematics #formal-verification #navier-stokes
Clay Institute won't call Navier-Stokes solved after OpenAI proof claim. ~ Marcus Schuler. https://www. implicator.ai/clay-institute-n avier-stokes-openai-proof-claim/ # AI4Math