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…
Google DeepMind
Explore Google DeepMind through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: AI Research
Articles that also belong to these categories. Counts cover all of Google DeepMind.
All articles (106)AI Models (32)Large Language Models (26)Multimodal AI (21)AI for Science (18)Generative AI (17)Reinforcement Learning (12)Open Source AI (8)People (8)Google (6)Robotics (6)AI Agents (5)AI in Gaming (5)Deep Learning (5)Diffusion Models (5)Drug Discovery (5)Embodied AI (5)Healthcare AI (5)Image Generation (5)Mathematics (5)Reasoning Models (5)Video Generation (5)AI Research (4)Artificial Intelligence (4)Small Language Models (4)AI Benchmarks (3)Music & Audio Generation (3)Speech & Audio AI (3)World Models (3)AI Code Generation (2)AI Hardware (2)AI Safety (2)Computer Vision (2)Natural Language Processing (2)Neural Networks (2)AI Alignment (1)AI Companies (1)AI in Cybersecurity (1)Algorithms (1)Conversational AI (1)Data & Datasets (1)Microsoft (1)Mixture of Experts (1)Model Architecture (1)Model Evaluation (1)Training & Optimization (1)Transformer Models (1)
Showing 1-4 of 4 articles
Chinchilla
Chinchilla is a 70-billion-parameter transformer large language model and an accompanying family of compute-optimal scaling laws, both introduced in the March 2022 paper Training Compute-Optimal Large Language…
Oriol Vinyals
Oriol Vinyals (born 1983, Sabadell, Catalonia, Spain) is a Spanish machine learning researcher who is a co-founder of Discovery Loop, a public benefit corporation launched on August 5, 2026 with the stated…
TacticAI
TacticAI is an artificial intelligence system that gives football (soccer) coaches tactical advice on corner kicks.