AI for science
Models and tools for science, newest first: biology 33, medicine 16, mathematics 16, weather and climate 13, chemistry and materials 10, physics 9, AI scientists 9, astronomy and earth 7. Sort by "Field" to group them. Parameters: the size the maker states, or the total of the weights in the maker's own Hugging Face repository (point at the number for its source). Closed models do not publish their size.
Refreshed Nov 2, 2026, 5:25 AM PT We refresh the data every morning.
Makers' pages and papers checked Nov 2, 2026; GitHub and Hugging Face read Nov 2, 2026.
/
From our news
Exponential Time Hypothesis refuted by an internal Claude model, Anthropic saysOct 27 · Research result
Axiom Math: AI agents build a Lean proof of the Classification of Finite Simple GroupsOct 27 · Research result
ForTy: Google DeepMind's free 10 m map tells natural forests from tree farmsOct 22 · AI for climate
KLS conjecture: researchers directing AI agents prove a 31-year-old math problem, Microsoft saysOct 21 · AI for scienceThe day in one video: Daily Recap of Oct 27Daily Recap of Oct 22Daily Recap of Oct 21
| Model or tool | Field | Maker | Latest | Released | Weights / code | Parameters | GitHub stars | Downloads, 30 d |
|---|---|---|---|---|---|---|---|---|
| CERN-Mistral Large Physics Model (planned)not yet checkedPlanned foundation model for collider physics trained on simulated LHC collisions. | Physics | CERN and Mistral AI | statement of intent (no model yet) | Oct 15, 2026 | open + API | – | – | – |
| The AI Scientist v3 (The Agentic Scientist)Orchestrates coding agents such as Claude, Codex and Gemini to run experiments and write papers. | AI scientists | Sakana AI | AI-Scientist-v3 | Oct 13, 2026 | open | – | 590 | – |
| ACE2 and HiRO-ACEv2Fast ML climate emulator for days-to-centuries runs; HiRO downscales output to 3 km. | Weather and climate | Ai2 (Allen Institute for AI) | HiRO-ACEv2; ACE2S-SHiELD-plus | Oct 12, 2026 | open | – | 258 | 0 |
| CONCH-Znot yet checkedNewest model in Mahmood Lab's CONCH pathology vision-language family. | Medicine | Mahmood Lab (Harvard and Mass General Brigham) | CONCH-Z | Oct 12, 2026 | open | 418M | – | 3,119 |
| AMIEDiagnostic chat AI; first real-clinic feasibility study (98 patients) published in The Lancet. | Medicine | Google Research and Google DeepMind | AMIE (multimodal) | Oct 8, 2026 | closed | – | – | |
| RFD4-ProteinaDesigns proteins and complexes with DNA, RNA, sugars or small molecules from user constraints. | Biology | Baker lab (UW IPD) and NVIDIA | RFD4-Proteina v0.0.3 | Oct 6, 2026 | open | 436Msizes 434M to 436M | 530 | 8,826 |
| BioEmu-2Generates ensembles of 3D shapes for proteins, complexes, ligands and nucleic acids. | Biology | Microsoft Research AI for Science | BioEmu-2 (v0.1.0rc0) | 2026-10 | open | 500M | 484 | 0 |
| Prophet-OAME-MBDInteratomic potential ranked first on Matbench Discovery (CPS 0.912) on 2026-10-26. | Chemistry and materials | Kairos Materials | v1.0.0 | Sep 13, 2026 | open + API | – | – | – |
| Intern-S2Open scientific multimodal foundation model for research reasoning across sciences. | AI scientists | Shanghai AI Laboratory | Intern-S2-397B | Sep 13, 2026 | open | – | 871 | 1,207 |
| NVIDIA PhysicsNeMoOpen framework for physics-informed and neural-operator models in engineering and science. | Physics | NVIDIA | PhysicsNeMo v2.2.2 | Sep 11, 2026 | open | – | 3,412 | – |
| Rentosertib (ISM001-055)AI-discovered TNIK inhibitor for lung fibrosis; first Phase III patient dosed. | Biology | Insilico Medicine | Phase III (GENESIS-IPF-3) | Sep 10, 2026 | closed | – | – | |
| OlmoEarthRemote-sensing model for Sentinel-1/2 and Landsat; powers global yearly embeddings. | Astronomy and Earth | Ai2 (Allen Institute for AI) | OlmoEarth v1.3 Base | Sep 4, 2026 | open | 128M | 360 | 734 |
| Nemotron-3-Labs-Ultra-MathOpen-weight math model; its ensemble scored 30/42 (gold level) at IMO 2026 in plain language. | Mathematics | NVIDIA | Nemotron-3-Labs-Ultra-Math-RL | Sep 2, 2026 | open | 550B total55B active | – | 1,049 |
| FrontierMath: ErdősBenchmark of 68 open Erdős problems that models must settle with verified Lean proofs. | Mathematics | Epoch AI | FrontierMath: Erdős (68 problems) | Sep 1, 2026 | open + API | – | – | – |
| NASA-IBM Lunar Foundation ModelMultimodal model of lunar orbital imagery for crater detection and ice prospecting. | Astronomy and Earth | NASA and IBM | NASA-IBM LFM | Sep 1, 2026 | open | – | – | 2,293 |
| SimpleDesignnot yet checkedGenerates protein sequence and 3D structure together in one model. | Biology | Apple | SimpleDesign | 2026-09 | open + API | – | – | – |
| OpenFold3Fully open AlphaFold 3-style model for structures of proteins, nucleic acids and ligands. | Biology | OpenFold Consortium (AlQuraishi lab, Columbia) | OpenBind v0 parameters (openfold3 v0.5.0) | Aug 21, 2026 | open | – | 910 | 0 |
| WeatherNext 2 and WeatherNext CyclonesFast global ensemble forecasts; Cyclones model gives about one extra day of storm warning. | Weather and climate | Google DeepMind and Google Research | WN2, WN2-mini, Cyclones (repo v0.3.0) | Aug 6, 2026 | open | – | 7,729 | – |
| AxiomProverAutonomous Lean 4 prover; claims a perfect 42/42 at IMO 2026 with machine-checked proofs. | Mathematics | Axiom Math | AxiomProver (IMO 2026) | Jul 16, 2026 | closed | 103 | – | |
| AuroraEarth-system foundation model for weather, air pollution and ocean-wave forecasts. | Weather and climate | Microsoft Research | Aurora 1.5 (aurora v2.0.0) | Jul 9, 2026 | open | 1.3B | 1,036 | 0 |
| TORAXFast differentiable tokamak plasma simulator in JAX, used to plan Commonwealth Fusion's SPARC. | Physics | Google DeepMind | TORAX v1.4.3 | Jul 3, 2026 | open | – | 747 | – |
| MIMIC 1.0One model for DNA, RNA and protein that embeds or generates any of them from the others. | Biology | Polymathic AI | MIMIC 1.0 | Jun 11, 2026 | open | 1.2B | 46 | 234 |
| ESMC 6B and ESMFold2Protein language model (ESMC) and fast structure prediction and design engine (ESMFold2). | Biology | Chan Zuckerberg Biohub (former EvolutionaryScale team) | ESMC 6B / ESMFold2 (esm v3.4.1) | May 27, 2026 | open | 6Bsizes 300M to 6B | 3,010 | 91,805 |
| Orb-v3 and OrbMol-v2Fast neural force fields for materials (Orb-v3) and charged molecules (OrbMol-v2). | Chemistry and materials | Orbital Materials | OrbMol-v2 (orb-models v0.7.0) | May 26, 2026 | open | – | 625 | 0 |
| Prism2not yet checkedSlide-level pathology model linking whole-slide images with clinical text. | Medicine | Paige | Prism2 | May 22, 2026 | open | 4.4B | – | 376 |
| OpenAI 'Astra' (unreleased math model)not yet checkedUnreleased model credited with disproving Erdős's 1946 unit-distance conjecture and 10 later advances. | Mathematics | OpenAI | internal model, unreleased | May 20, 2026 | closed | – | – | |
| AIFS Single v2 and AIFS ENS v2ECMWF's operational AI forecast models; v2 adds ocean waves, snow and cyclone tracks. | Weather and climate | ECMWF | AIFS v2 | May 12, 2026 | open | – | 173 | 4,712 |
| MACE foundation modelsMachine-learning force fields; MH-1 spans molecules, surfaces and crystals, POLAR-1 adds electrostatics. | Chemistry and materials | ACEsuit (Cambridge and partners) | MACE-POLAR-1 (v0.3.16) and MACE-MH-1 (v0.3.15) | May 10, 2026 | open | – | 1,403 | – |
| Recursion OS (with Boltz-2)not yet checkedAI and robotics drug discovery platform with several AI-derived drugs in clinical trials. | Biology | Recursion Pharmaceuticals | Q1 2026 pipeline update | May 6, 2026 | closed | – | – | |
| AI co-scientist (Gemini for Science)Multi-agent Gemini system that generates and ranks research hypotheses. | AI scientists | Co-Scientist (Nature 2026); Gemini for Science | 2026-05 | closed | – | – | ||
| ChatGPT for Clinicians (HealthBench Professional)not yet checkedChatGPT version for US clinicians, free for verified clinicians, scored on HealthBench Professional. | Medicine | OpenAI | ChatGPT for Clinicians | Apr 22, 2026 | closed | – | – | |
| SkalaDeep-learned DFT exchange-correlation functional with hybrid-level accuracy at lower cost. | Chemistry and materials | Microsoft Research | Skala 1.1 | Apr 13, 2026 | open | 0M | 270 | 21,297 |
| ProtenixAlphaFold 3 reproduction for biomolecular structures; v2 improves antibody-antigen prediction. | Biology | ByteDance | Protenix-v2 | Apr 8, 2026 | open | 464Msizes 368M to 464M | 2,100 | – |
| AION-1Astronomy model linking images, spectra and catalogues from 39 data types. | Astronomy and Earth | Polymathic AI | AION-1 base / large / xlarge | Apr 8, 2026 | open | 3.1Bsizes 300M to 3.1B | 157 | 31 |
| GPT-Rosalindnot yet checkedReasoning model for biology and drug discovery research, with a Codex life-sciences plug-in. | Biology | OpenAI | GPT-Rosalind (research preview) | 2026-04 | closed | – | – | |
| Gauss and OpenGaussAutoformalisation agent; OpenGauss is its open Lean workflow orchestrator. | Mathematics | Math Inc. | OpenGauss 0.2.2 | Mar 19, 2026 | open | – | 1,276 | – |
| Proteina-ComplexaDesigns full-atom protein binders for protein or small-molecule targets. | Biology | NVIDIA | NV-Proteina-Complexa 160M v1 | Mar 11, 2026 | open | 160M | – | 3,766 |
| UMA (Universal Model for Atoms)One atomistic model for molecules, materials and catalysts trained on OMol25, OMat24 and more. | Chemistry and materials | Meta FAIR Chemistry | UMA-S 1.2 (and 1.2.1), UMA-M 1.1 | Mar 5, 2026 | open | 1.4B total50M active | 2,339 | 144 |
| Curia-2Radiology foundation model for 2D and 3D CT and MRI images. | Medicine | Raidium | curia-2 | Mar 2, 2026 | open | – | – | 793 |
| Merlin3D vision-language model for abdominal CT that covers hundreds of diagnostic tasks. | Medicine | Stanford (MIMI) | Merlin | 2026-03 | open | – | 504 | – |
| Evo 2DNA language model that scores mutations and designs genome-scale sequences across all life. | Biology | Arc Institute with NVIDIA | Evo 2 (40B, 20B, 7B, 1B) | Feb 28, 2026 | open | 40Bsizes 1B to 40B | 4,296 | 914 |
| IsoDDE (Isomorphic Labs Drug Design Engine)Predicts protein-ligand and antibody structures, binding strength and hidden drug pockets from sequence. | Biology | Isomorphic Labs | IsoDDE technical report | Feb 10, 2026 | closed | – | – | |
| AletheiaMath research agent that writes, checks and revises proofs; solved four open Erdős problems. | Mathematics | Google DeepMind | Aletheia (on Gemini Deep Think) | Feb 10, 2026 | closed | – | – | |
| UPET (PET-OAM-XL, PET-MAD 1.6)Universal interatomic potentials; PET-OAM-XL topped Matbench Discovery in February 2026. | Chemistry and materials | EPFL COSMO lab | PET-MAD 1.6 / PET-OAM-XL | Feb 9, 2026 | open | – | 250 | 0 |
| OmniLearnednot yet checkedFoundation model for particle-jet physics at colliders, fine-tuned for tagging and anomaly search. | Physics | Vinicius Mikuni et al. (Berkeley Lab) | OmniLearned | 2026-02 | open | – | 11 | – |
| AlphaGenomePredicts how DNA changes affect gene expression, splicing and chromatin from 1 Mb of sequence. | Biology | Google DeepMind | AlphaGenome weights + alphagenome_research v0.3.0 | Jan 28, 2026 | open | – | 918 | 0 |
| Earth-2 Medium Range (Atlas)Generative model for 15-day global ensemble forecasts across 70+ weather variables. | Weather and climate | NVIDIA | atlas-era5 | Jan 26, 2026 | open | 4.3B | 1,227 | 563 |
| Earth-2 Nowcasting (StormScope)Kilometre-scale storm forecasts for the next 0-6 hours from satellite and radar. | Weather and climate | NVIDIA | StormScope (GOES-MRMS; Meteosat 2026-07-09) | Jan 26, 2026 | open | 260Msizes 194M to 260M | 1,227 | 854 |
| MedGemma 1.5Open medical vision-language model reading CT/MRI volumes, X-rays, pathology slides and lab reports. | Medicine | MedGemma 1.5 4B (27B stays MedGemma 1) | Jan 13, 2026 | open | 4B | 1,645 | 179,368 | |
| StackSingle-cell foundation model that learns new tasks from examples at inference time. | Biology | Arc Institute | Stack-Large-Aligned | Jan 9, 2026 | open | 217M | 171 | 0 |
| Atlas 2Pathology foundation models trained on 5.5 million slides; claim best average on 80 benchmarks. | Medicine | Aignostics with Charité, LMU Munich and Mayo Clinic | Atlas 2, 2-B, 2-S | Jan 8, 2026 | open + API | – | – | – |
| Seed-Prover 1.5Formal Lean prover solving 88% of PutnamBench and 11 of 12 Putnam 2025 problems. | Mathematics | ByteDance Seed | Seed-Prover 1.5 | Dec 19, 2025 | open | – | 442 | – |
| Latent-X2Designs drug-like antibodies and macrocyclic peptides; Latent-Y is an agent built on it. | Biology | Latent Labs | Latent-X2 (agent: Latent-Y, 2026-03-23) | Dec 16, 2025 | closed | – | – | |
| Nucleotide Transformer v3 (NTv3)Multi-species genome model with 1 Mb context for annotation, function tracks and sequence design. | Biology | InstaDeep | NTv3 (8M to 650M) | Dec 10, 2025 | open | 650Msizes 8M to 650M | 934 | 605 |
| AlphaQubit 2Neural decoder that corrects quantum-computer errors in real time for surface and colour codes. | Physics | Google DeepMind and Google Quantum AI | AlphaQubit 2 (AQ2-RT) | Dec 8, 2025 | paper only | – | – | |
| DeepSeekMath-V2Self-verifying model that writes and checks natural-language maths proofs. | Mathematics | DeepSeek | DeepSeek-Math-V2 | Nov 27, 2025 | open | – | 1,628 | 963 |
| WalrusFoundation model that predicts fluid-like physics across many simulated systems. | Physics | Polymathic AI | Walrus (1.3B) | Nov 20, 2025 | open | 1.3B | 320 | 0 |
| Profluent E1Protein representation models, with optional retrieval, meant as drop-in ESM replacements. | Biology | Profluent | E1 (150M, 300M, 600M) | Nov 9, 2025 | open | 600Msizes 150M to 600M | – | 8,033 |
| FourCastNet 3Fast probabilistic global weather model built on spherical neural operators. | Weather and climate | NVIDIA | FourCastNet3 | Nov 7, 2025 | open | 711M | 405 | 1,064 |
| KosmosAI scientist that runs hours-long cycles of data analysis and literature search, then writes reports. | AI scientists | Edison Scientific (FutureHouse spin-out) | Kosmos | Nov 4, 2025 | closed | – | – | |
| Pillar-0Radiology foundation model that reads whole CT and MRI volumes, not single slices. | Medicine | YalaLab (UC Berkeley and UCSF) | Pillar-0 | 2025-11 | open | – | 6 | – |
| BiomniOpen general-purpose biomedical research agent with tools and databases. | AI scientists | Stanford (Leskovec lab) | Biomni v0.0.8 | Oct 27, 2025 | open | – | 4,043 | – |
| BoltzGenGenerates protein and peptide binders for almost any biomolecular target. | Biology | Boltz (MIT / Boltz PBC) | BoltzGen v0.3.2 | Oct 26, 2025 | open | – | 1,093 | – |
| CodonFM (Encodon)Codon-level mRNA language models for variant effects and codon optimisation. | Biology | NVIDIA | Encodon 80M / 600M / 1B v1 | Oct 20, 2025 | open | 911Msizes 77M to 911M | 101 | 233 |
| DeepMind x Commonwealth Fusion Systems (SPARC)Uses TORAX and reinforcement learning to plan and later control plasma in the SPARC tokamak. | Physics | Google DeepMind and CFS | research partnership | Oct 16, 2025 | closed | – | – | |
| C2S-ScaleLanguage model that reads single-cell gene activity as text to analyse and generate cell states. | Biology | Yale (van Dijk lab) and Google | C2S-Scale-Gemma-2-27B | Oct 6, 2025 | open | 27B | 892 | 1,016 |
| AristotleLean-verified theorem prover; formally solved 5 of 6 IMO 2025 problems. | Mathematics | Harmonic | Aristotle (app and API) | Oct 1, 2025 | closed | – | – | |
| Periodic LabsBuilds AI scientists and autonomous labs for materials, starting with superconductors. | AI scientists | Periodic Labs | AI scientists and autonomous labs | Sep 30, 2025 | closed | – | – | |
| Delphi-2MPredicts a person's risk and timing of over 1,000 diseases from health records. | Medicine | EMBL-EBI, DKFZ and University of Copenhagen | Delphi-2M | Sep 17, 2025 | open | 2M | 529 | – |
| GPhyT (General Physics Transformer)One transformer that simulates many fluid and heat systems and generalises to unseen ones. | Physics | academic (arXiv 2509.13805) | GPhyT | 2025-09 | paper only | – | – | |
| Tahoe-x1Single-cell foundation model trained on large drug-perturbation data to predict drug responses. | Biology | Tahoe Therapeutics | Tahoe-x1 (plus Rhaister, 2026-06-09) | Aug 25, 2025 | open | 3Bsizes 70M to 3B | 168 | 131 |
| RoseTTAFold3 (RF3)Open structure prediction network narrowing the gap to AlphaFold 3, shipped in the Foundry toolkit. | Biology | Baker lab, UW Institute for Protein Design (RosettaCommons Foundry) | RF3 in Foundry | Aug 14, 2025 | open | – | 1,038 | – |
| SuryaHeliophysics model forecasting solar flares and solar wind from Solar Dynamics Observatory images. | Astronomy and Earth | NASA and IBM | Surya-1.0 | Aug 13, 2025 | open | 366M | 180 | 189 |
| AlphaEarth FoundationsFuses many satellite sources into yearly 10 m embeddings for mapping land change. | Astronomy and Earth | Google DeepMind | Satellite Embedding dataset (annual) | Jul 30, 2025 | open + API | – | – | – |
| Goedel-Prover-V2Open Lean 4 prover with self-correction; about 90% on miniF2F. | Mathematics | Princeton Language and Intelligence | Goedel-Prover-V2-32B (plus Goedel-Code-Prover-8B, 2026-03-25) | Jul 14, 2025 | open | – | 195 | 922 |
| Kimina-ProverLean 4 prover trained with reinforcement learning; open 72B and small versions. | Mathematics | Moonshot AI and Project Numina | Kimina-Prover-72B | Jul 9, 2025 | open | 72B | 381 | 116 |
| MedSigLIPMedical image and text encoder for classification and retrieval. | Medicine | MedSigLIP | Jul 9, 2025 | open | 800M | 310 | – | |
| Chai-2Designs antibodies and mini-proteins from scratch with about 16-20% lab hit rates. | Biology | Chai Discovery | Chai-2 | Jun 30, 2025 | closed | – | – | |
| MAI-DxOnot yet checkedRuns several LLMs as a virtual doctor panel to solve hard NEJM diagnostic cases. | Medicine | Microsoft AI | MAI Diagnostic Orchestrator | Jun 30, 2025 | closed | – | – | |
| Boltz-2Predicts biomolecular complex structures and small-molecule binding affinity together. | Biology | MIT Jameel Clinic and Recursion (now Boltz PBC) | Boltz-2 (boltz v2.2.1) | Jun 6, 2025 | open | – | 4,284 | 0 |
| ether024B reasoning model trained with reinforcement learning on chemistry tasks. | Chemistry and materials | FutureHouse | ether0 (24B) | Jun 4, 2025 | open | 24B | 170 | 181 |
| StateVirtual cell model predicting how cells respond to drugs and gene knockouts. | Biology | Arc Institute | State (SE-100M embedding; arc-state v0.11.1) | 2025-06 | open | – | 739 | 175 |
| Microsoft DiscoveryAzure platform where AI agents help run R&D workflows. | AI scientists | Microsoft | Microsoft Discovery (Azure) | May 19, 2025 | closed | – | – | |
| AlphaEvolveGemini-powered coding agent that evolves algorithms; found new maths constructions and faster code. | AI scientists | Google DeepMind | AlphaEvolve | May 14, 2025 | open | – | 305 | – |
| Formal ConjecturesOpen collection of famous unsolved conjectures stated formally in Lean. | Mathematics | Google DeepMind | formal-conjectures (continuous) | May 12, 2025 | open | – | 1,344 | – |
| DeepSeek-Prover-V2Lean 4 theorem prover that breaks problems into subgoals. | Mathematics | DeepSeek | DeepSeek-Prover-V2 (7B, 671B) | Apr 30, 2025 | open | 671Bsizes 7B to 671B | 1,322 | 1,500 |
| TranscriptFormerGenerative single-cell model trained across many species to compare cell types. | Biology | Chan Zuckerberg Initiative | TranscriptFormer | 2025-04 | open | 542Msizes 368M to 542M | 168 | – |
| Aardvark WeatherEnd-to-end AI system that goes from raw observations straight to forecasts. | Weather and climate | University of Cambridge, Alan Turing Institute and partners | Aardvark Weather | Mar 20, 2025 | open | – | 225 | – |
| TerraMind 1.0Any-to-any generative model across many Earth-observation data types. | Astronomy and Earth | IBM and ESA | TerraMind-1.0 (tiny to large) | Mar 4, 2025 | open | – | 329 | 3,691 |
| Lila SciencesScientific superintelligence platform with autonomous labs; reported AI-run catalyst discovery in 2026. | AI scientists | Lila Sciences | LILA Catalyst / AI Science Factory | 2025-03 | closed | – | – | |
| H-optimus-1Large pathology image encoder from Bioptimus. | Medicine | Bioptimus | H-optimus-1 | Feb 17, 2025 | open | 1.1B | – | 29,893 |
| AlphaGeometry 2Solves olympiad geometry by pairing a language model with symbolic search. | Mathematics | Google DeepMind | AlphaGeometry 2 | Feb 5, 2025 | open | – | 4,903 | – |
| MatterGenGenerates new inorganic crystal structures with requested properties. | Chemistry and materials | Microsoft Research | MatterGen v1.0.3 | Jan 16, 2025 | open | 47M | 1,858 | 0 |
| UNI 2Self-supervised pathology image encoder used as a backbone for many tissue tasks. | Medicine | Mahmood Lab (Harvard and Mass General Brigham) | UNI2-h | Jan 10, 2025 | open | 681M | 798 | 59,510 |
| Prithvi-EO-2.0Geospatial model for satellite time series, used for floods, burn scars and crops. | Astronomy and Earth | IBM and NASA | Prithvi-EO-2.0 (300M, 600M) | Dec 2, 2024 | open | 600Msizes 5M to 600M | 333 | 1,556 |
| The Well15 TB collection of physics simulations used to train and test physics models. | Physics | Polymathic AI | The Well (15 TB) | 2024-12 | open | – | 4,520 | – |
| Prithvi WxCWeather and climate foundation model for downscaling and other tasks. | Weather and climate | IBM and NASA | Prithvi-WxC-1.0 (2.3B) | Sep 20, 2024 | open | 2.3B | 205 | 1,517 |
| Chai-1Predicts structures of proteins, nucleic acids and small-molecule complexes. | Biology | Chai Discovery | chai-lab v0.6.1 | Sep 9, 2024 | open | – | 2,008 | 0 |
| AlphaProteoDesigns new proteins that bind tightly to chosen target proteins. | Biology | Google DeepMind | AlphaProteo | Sep 5, 2024 | paper only | – | – | |
| Virchow2Large pathology tile encoder used for cancer detection and biomarker tasks. | Medicine | Paige | Virchow2 | Aug 5, 2024 | open | 632M | – | 72,175 |
| AlphaProofReinforcement-learning system that finds formal Lean proofs of olympiad problems. | Mathematics | Google DeepMind | AlphaProof | Jul 25, 2024 | closed | – | – | |
| NeuralGCMHybrid physics and machine-learning atmosphere model for weather and climate runs. | Weather and climate | Google Research | NeuralGCM | Jul 22, 2024 | open | – | 1,030 | – |
| ESM3Generative protein model reasoning over sequence, structure and function together. | Biology | EvolutionaryScale (now Chan Zuckerberg Biohub) | esm3-sm-open-v1 (1.4B open); larger models via API | Jun 25, 2024 | open | 1.4B | 3,010 | 2,030 |
| Prov-GigaPathWhole-slide pathology foundation model trained on 1.3 billion tiles from real-world data. | Medicine | Microsoft Research and Providence | Prov-GigaPath (flash variant 2026-07-20) | May 22, 2024 | open | – | 646 | 54,580 |
| AlphaFold 3Predicts 3D structures of proteins and their complexes with DNA, RNA, small molecules and ions. | Biology | Google DeepMind and Isomorphic Labs | AlphaFold 3 (inference code v3.0.4) | May 8, 2024 | open | – | 8,712 | – |
| MatterSimMachine-learned force field for materials across elements, temperatures and pressures. | Chemistry and materials | Microsoft Research | MatterSim v1 | May 8, 2024 | open | – | 609 | – |
| GNoMEGraph network that predicted 2.2 million new crystals, about 380,000 judged stable. | Chemistry and materials | Google DeepMind | GNoME dataset (2.2M crystals) | Nov 29, 2023 | open | – | 1,251 | – |
| Pangu-WeatherGlobal medium-range forecast model, one of the first to rival physics-based forecasts. | Weather and climate | Huawei Cloud | Pangu-Weather | Jul 5, 2023 | open | – | 1,400 | – |
| FuXinot yet checkedCascade machine-learning system for 15-day global weather forecasts. | Weather and climate | Fudan University | FuXi | 2023-06 | open | – | 194 | – |
| FengWunot yet checkedGlobal medium-range AI weather model from Shanghai AI Lab. | Weather and climate | Shanghai AI Laboratory | FengWu | 2023-04 | open | – | 181 | – |
| BoltzMol-1not yet checkedHosted model for small-molecule screening and hit discovery. | Biology | Boltz PBC | BoltzMol-1 (Boltz Lab / Boltz API) | – | closed | – | – | |
| Chai-3not yet checkedChai's newest design model, named in a 2026 Pfizer licence deal; no public details. | Biology | Chai Discovery | Chai-3 | – | closed | – | – | |
| Lean 4 and MathlibProof assistant and its shared maths library, the target language of most AI provers. | Mathematics | Lean FRO and Lean community | Lean 4 / mathlib4 (continuous) | – | open | – | 4,416 | – |
Sources: makers' pages and papers (registry) · GitHub (stars) · Hugging Face (downloads).