Type a name, or just describe what you need. Results blend keyword and meaning-based search. 8 matches, each with an EU availability status.
Model · Unconventional AI
Proof-of-concept image generator from Unconventional AI that uses coupled oscillators instead of diffusion.
Research
Proof-of-concept image generator that learns an energy function and lowers it iteratively instead of denoising.
Research · OpenAI
OpenAI's reported math proofs and scientific discovery results produced by internal, unreleased models.
Model · OpenAI
Unreleased OpenAI model, reportedly run as an agent group, claimed to have produced a Navier-Stokes proof; unverified.
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.
Counterexamples to Grad's conjecture in plasma physics, with a Lean 4 formalization of the main result.
