Type a name, or just describe what you need. Results blend keyword and meaning-based search. 6 matches, each with an EU availability status.
Research · OpenAI
OpenAI repository of 700+ math manuscripts and Lean proofs generated by an unreleased internal model.
Research
Counterexamples to Grad's conjecture in plasma physics, with a Lean 4 formalization of the main result.
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.
Model · IQuest Lab
320B-parameter MoE model (15B active) from IQuest for agentic coding and tool use, with 512K context.
Library · Egonex AI
Claude Code plugin that builds an interactive knowledge graph of a codebase or wiki using a multi-agent pipeline.
