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 Google DeepMind through related topics and the articles other pages reference most.
Articles that also belong to these categories. Counts cover all of Google DeepMind.
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…