OpenAI’s Navier-Stokes release included a Lean 4 formal proof

Published 2026-09-11 · news

Listings and articles are collected automatically from public sources.