Type a name, or just describe what you need. Results blend keyword and meaning-based search. 11 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.
Research · Vals AI
Vals AI report on AI agents using DFT simulations to find two room-temperature antiferromagnetic semiconductor candidates.
Research
Benchmark of 270 tasks testing whether AI agents can computationally reproduce results from scientific papers.
OpenAI's reported math proofs and scientific discovery results produced by internal, unreleased models.
OpenAI and Molecule.one research system pairing GPT-5.4 with the Maria agentic chemistry platform and a high-throughput lab.
Model · Allen Institute for AI
Open 8B Qwen3-based model from Ai2 that turns a prompt and papers into a cited research report in one pass.
App · Google
Google suite of science tools whose "science skills" connect Gemini to 30+ life science databases such as UniProt and AlphaFold.
App · Anthropic
Anthropic desktop workbench app for scientists, comparable to Claude Code and Cowork, on paid plans for Mac and Linux.
Agent · Google Research
Google Research agent that turns a natural-language Earth-science question into a data-driven prediction.
OpenAI, PerturbAI and Scripps Research run thousands of GPT-Rosalind agents in parallel to analyze brain-cell gene data.
