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.
Mathematics
Explore Mathematics through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Google DeepMind
Articles that also belong to these categories. Counts cover all of Mathematics.
All articles (82)Machine Learning (48)Statistics (14)Deep Learning (11)AI for Science (10)Training & Optimization (9)AI Research (6)Google DeepMind (5)Reinforcement Learning (5)AI Benchmarks (4)Computer Science (4)Algorithms (3)Generative AI (3)Large Language Models (3)Natural Language Processing (3)Neural Networks (3)AI Agents (2)AI Ethics (2)AI Tools & Products (2)Chinese AI (2)Developer Tools (2)Information Retrieval (2)Open Source AI (2)People (2)Programming Languages (2)AI Hardware (1)AI History (1)AI Incidents & Controversies (1)AI Infrastructure (1)AI Policy & Regulation (1)Anthropic (1)Artificial Intelligence (1)ChatGPT (1)Computer Vision (1)Data & Datasets (1)Google (1)Interpretability (1)OpenAI (1)Reasoning Models (1)Robotics (1)Software Development (1)
Showing 1-5 of 5 articles
AlphaGeometry 2
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…
AlphaProof Nexus
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…
AlphaTensor
AlphaTensor is an artificial-intelligence system from DeepMind that uses deep reinforcement learning to discover faster algorithms for matrix multiplication.
FunSearch
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.