Type a name, or just describe what you need. Results blend keyword and meaning-based search. 5 matches, each with an EU availability status.
Research · OpenAI
OpenAI repository of 700+ math manuscripts and Lean proofs generated by an unreleased internal model.
OpenAI's announced AI-generated finite-time blowup result for Navier–Stokes, with a writeup and Lean formalization.
OpenAI's reported math proofs and scientific discovery results produced by internal, unreleased models.
OpenAI's announced AI-produced results: a local smoothing proof, an ETH refutation and a QCD result, with Lean verification.
Research
Counterexamples to Grad's conjecture in plasma physics, with a Lean 4 formalization of the main result.
