AI Co-Mathematician
AI Co-Mathematician is an interactive, agentic research system built by Google DeepMind to help professional mathematicians work on open-ended research problems.
Explore AI for Science through related topics and the articles other pages reference most.
Articles that also belong to these categories. Counts cover all of AI for Science.
Showing 1-18 of 18 articles
AI Co-Mathematician is an interactive, agentic research system built by Google DeepMind to help professional mathematicians work on open-ended research problems.
AlphaEvolve is an evolutionary coding agent developed by Google DeepMind and announced on May 14, 2025 .
AlphaFold 3 is a biomolecular structure prediction system developed jointly by Google DeepMind and Isomorphic Labs and published in Nature on May 8, 2024.
AlphaFold-Multimer is a deep learning system for predicting the three-dimensional structures of protein complexes, released by Google DeepMind in October 2021 as an extension of AlphaFold 2.
AlphaGenome is a unified deep learning model developed by Google DeepMind that predicts thousands of functional genomic properties from raw DNA sequences.
AlphaGenome Atlas is a precomputed catalog of molecular-effect predictions for genetic variants, released by Google DeepMind on September 8, 2026.
AlphaGeometry is a neuro-symbolic artificial intelligence system developed by Google DeepMind that solves competition-level geometry problems at a standard comparable to human Olympiad gold medalists.
AlphaGeometry 2 (often abbreviated AG2) is a neuro-symbolic artificial intelligence system built by Google DeepMind that solves Olympiad-level Euclidean geometry problems by pairing a Gemini-based language…
AlphaMissense is a machine learning model from Google DeepMind that predicts whether a missense variant, a single amino-acid substitution in a protein, is likely to cause disease.
AlphaProof is a reinforcement-learning system from Google DeepMind that finds and verifies formal mathematical proofs in the Lean 4 theorem prover
AlphaProof Nexus is a formal proof search system from Google DeepMind that pairs a general-purpose language model with the Lean proof assistant in an agentic loop, submitting each candidate proof step to the…
AlphaProteo is a machine learning system developed by Google DeepMind for the de novo design of high-affinity protein binders, novel proteins that attach tightly to a chosen target.
AlphaQubit is a neural-network decoder for quantum error correction developed jointly by Google DeepMind and Google Quantum AI.
FunSearch is a method from Google DeepMind that pairs a large language model with an automated evaluator to discover new solutions to hard problems in mathematics and computer science.
GNoME (Graph Networks for Materials Exploration) is a deep-learning system from Google DeepMind that predicts the thermodynamic stability of inorganic crystals and uses those predictions to search for new…
GenCast is a probabilistic, ensemble-based machine-learning weather forecasting model developed by Google DeepMind that uses a diffusion model to generate large ensembles of possible 15-day weather…
GraphCast is a machine-learning weather-forecasting model from Google DeepMind that produces a 10-day global forecast at 0.25-degree resolution in under one minute on a single Google Cloud TPU v4 device
John Jumper (born 1 January 1985) is an American computational chemist and biophysicist who led the development of AlphaFold, the artificial intelligence system that predicts the three-dimensional structure of…