Type a name, or just describe what you need. Results blend keyword and meaning-based search. 8 matches, each with an EU availability status.
Research · Google DeepMind
Gemini-powered evolutionary coding agent from Google DeepMind for algorithm and mathematical discovery.
Research · OpenAI
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 · Anthropic
Anthropic research result: Claude agents found a CRISPR-like array-associated reverse transcriptase system in phage DNA.
Agent · Google DeepMind
Gemini-based multi-agent system from Google that generates, debates and ranks scientific hypotheses for researchers.
Research · Google
Google research technical report on improving an agent's exploration policy by replaying past discovery trees offline.
Research
Search framework from Harvard/MIT coupling forward evolutionary candidate search with backward goal decomposition.
OpenAI repository of 700+ math manuscripts and Lean proofs generated by an unreleased internal model.
