Type a name, or just describe what you need. Results blend keyword and meaning-based search. 6 matches, each with an EU availability status.
Model
Research model for real-time, audio-driven talking-head video generation from a reference image, using one-step inference.
Research
Counterexamples to Grad's conjecture in plasma physics, with a Lean 4 formalization of the main result.
Research · OpenAI
OpenAI repository of 700+ math manuscripts and Lean proofs generated by an unreleased internal model.
OpenAI's announced AI-produced results: a local smoothing proof, an ETH refutation and a QCD result, with Lean verification.
OpenAI's announced AI-generated finite-time blowup result for Navier–Stokes, with a writeup and Lean formalization.
App · Matthew Berman
Joke-leaning microsite that estimates the odds of a surprise OpenAI Codex usage-limit reset within 48 hours.
