Type a name, or just describe what you need. Results blend keyword and meaning-based search. 51 matches, each with an EU availability status.
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.
Research · MIT
MIT research showing a frontier LLM can read and write another neural network's raw weights without gradient descent.
Model · DeepPrinciple
753B-parameter open-weights scientific-discovery model from DeepPrinciple, post-trained from GLM 5.3.
Research · OpenAI
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.
Research · Google DeepMind
Gemini-powered evolutionary coding agent from Google DeepMind for algorithm and mathematical discovery.
Research · Vals AI
Vals AI report on AI agents using DFT simulations to find two room-temperature antiferromagnetic semiconductor candidates.
OpenAI's reported math proofs and scientific discovery results produced by internal, unreleased models.
OpenAI, PerturbAI and Scripps Research run thousands of GPT-Rosalind agents in parallel to analyze brain-cell gene data.
Agent · Google Research
Google Research agent that turns a natural-language Earth-science question into a data-driven prediction.
Research · Anthropic
Anthropic research result: Claude agents found a CRISPR-like array-associated reverse transcriptase system in phage DNA.
Model · Hugging Face
Open 14.8B language model from Hugging Face that reads raw DNA in chat and answers in English, built on Qwen3-14B.
Research · Google
Google Quantum AI research demonstrating magic state cultivation for error-corrected computing on its Willow chip.
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.
Model · Google DeepMind
Plant genomic language model from Living Models, trained on 320 plant species and paired with Gemma 4 for crop genetics.
OpenAI repository of 700+ math manuscripts and Lean proofs generated by an unreleased internal model.
Google DeepMind diffusion pipeline for de novo enzyme design by motif scaffolding, with open code and downloadable weights.
Research
Independent write-up of a 1809 Napoleonic cipher letter to General Marmont, decrypted with GPT-6 Astra.
Model · Paradigma
1B-parameter model from Paradigma specialized for hard competitive math problems, released with code and weights.
Model · Nvidia
Nvidia's 332M-parameter AI model emulating the SCREAM global storm-resolving atmosphere simulation at ~4.9 km, 10-minute steps.
Counterexamples to Grad's conjecture in plasma physics, with a Lean 4 formalization of the main result.
Research · DeepSeek
DeepSeek research on a separate large conditional memory module for static facts, held in server RAM instead of GPU memory.
Model · Alibaba Tongyi Lab
Autoregressive scientific model that tokenizes proteins, molecules, materials, antibodies and reactions into one shared grammar.
