AlphaGeometry
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.
AI for Science
Explore AI for Science through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Reasoning Models
Articles that also belong to these categories. Counts cover all of AI for Science.
All articles (80)AI Models (19)Google DeepMind (18)Drug Discovery (12)AI Companies (11)Mathematics (10)AI Research (8)Artificial Intelligence (7)Healthcare AI (7)Open Source AI (6)AI Tools & Products (5)Anthropic (5)AI Agents (4)Deep Learning (4)Machine Learning (4)Google (3)Meta AI (3)AI Hardware (2)ChatGPT (2)Data Science (2)Developer Tools (2)Diffusion Models (2)Generative AI (2)Large Language Models (2)OpenAI (2)People (2)Reasoning Models (2)AI Ethics (1)AI History (1)AI Incidents & Controversies (1)Algorithms (1)Computer Science (1)Computer Vision (1)Data & Datasets (1)Neural Networks (1)Speech & Audio AI (1)
Showing 1-2 of 2 articles
AlphaProof
AlphaProof is a reinforcement-learning system from Google DeepMind that finds and verifies formal mathematical proofs in the Lean 4 theorem prover