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-produced results: a local smoothing proof, an ETH refutation and a QCD result, with Lean verification.
Agent · Google DeepMind
Gemini-based multi-agent system from Google that generates, debates and ranks scientific hypotheses for researchers.
