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…
AI Research
Explore AI Research 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 AI Research.
All articles (98)People (22)Large Language Models (12)Open Source AI (10)AI Safety (9)Anthropic (9)AI Agents (8)AI Companies (8)AI for Science (8)Machine Learning (7)Reinforcement Learning (7)Research Organizations (7)Mathematics (6)AI Benchmarks (5)AI History (5)Artificial Intelligence (5)Computer Vision (5)Meta AI (5)AI Tools & Products (4)Deep Learning (4)Google (4)Google DeepMind (4)Interpretability (4)OpenAI (4)AI Alignment (3)AI Infrastructure (3)AI Models (3)Neural Networks (3)AI Ethics (2)AI Policy & Regulation (2)Data & Datasets (2)Developer Tools (2)Generative AI (2)Image Generation (2)Model Evaluation (2)Multimodal AI (2)Natural Language Processing (2)Reasoning Models (2)AI Code Generation (1)AI Incidents & Controversies (1)AI Inference (1)ChatGPT (1)Computer Science (1)Data Science (1)Healthcare AI (1)Information Retrieval (1)NVIDIA (1)Training & Optimization (1)Universities (1)World 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.