Type a name, or just describe what you need. Results blend keyword and meaning-based search. 2 matches, each with an EU availability status.
Research · OpenAI
OpenAI's announced AI-generated finite-time blowup result for Navier–Stokes, with a writeup and Lean formalization.
Model · OpenAI
Unreleased OpenAI model, reportedly run as an agent group, claimed to have produced a Navier-Stokes proof; unverified.
