AlphaGeometry

A geometry-solving system combining model-generated constructions with symbolic deduction.

• Developer / Organization: Google DeepMind
• Category: Open-source formalization & proving
• Purpose: Solve Olympiad-style geometry problems.
• Key features: Combines a language model proposing auxiliary constructions with symbolic deduction; public repository for the original system.
• Availability: Open-source software; Apache-2.0
• License: Apache-2.0 (source (opens in a new tab))
• Website / Source code: https://github.com/google-deepmind/alphageometry (opens in a new tab)
• Version: Source repository; no GitHub release published
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01