{"adoption": {"forks": 572, "observed_at": "2026-08-28T04:09:01.777531+00:00", "stars": 4879}, "canonical_url": "https://ross.abutalabs.com/products/alphageometry", "card": {"archived": false, "artifact_type": "library", "description": null, "domain": ["artificial-intelligence", "machine-learning", "mathematics"], "enriched": true, "function": ["machine-learning", "deep-learning", "llm-inference", "math", "parser"], "health_score": 57, "homepage": null, "language": "Python", "license": "Apache-2.0", "license_family": "permissive", "maturity": "active", "member_repos": ["google-deepmind/alphageometry"], "name": "google-deepmind/alphageometry", "platform": ["python"], "pushed_at": "2026-01-13T19:18:14+00:00", "repo": "google-deepmind/alphageometry", "stars": 4879, "tags": ["geometry-prover", "theorem-proving", "olympiad-math", "symbolic-reasoning", "research-code", "algorithms", "linux", "gpu"], "topics": [], "urls": [], "use_cases": ["solve olympiad geometry problems automatically", "reproduce AlphaGeometry research results from the Nature 2024 paper", "run symbolic deduction for geometry theorem proving with DDAR", "generate synthetic geometry proofs with a language model", "research neuro-symbolic mathematical reasoning"], "what_it_is": "Google DeepMind's implementation of AlphaGeometry and DDAR, AI systems that solve Olympiad-level geometry theorem proving problems. It combines a neural language model with a symbolic deduction engine to produce human-readable proofs without human demonstrations.", "when_to_avoid": ["you need a general-purpose theorem prover beyond Euclidean geometry", "you lack the compute (multiple GPUs and many CPU workers) for full-scale search", "you want a production-ready library with pip installation and stable API"], "when_to_choose": ["you need a state-of-the-art automated geometry theorem prover", "you are reproducing or extending published AI math reasoning research", "you have GPU resources and want to run the full proof search pipeline"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/alphageometry", "repo": "google-deepmind/alphageometry", "role": "main", "score": 55}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:09:01.777531+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T18:18:16.855220+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "aaadae0c6238b1f9bd7c04d259122abc0a5581ce30ee8d2575d86091a0405bca", "fetched_at": "2026-08-28T04:09:01.777531+00:00", "kind": "readme", "missing": false, "url": "https://github.com/google-deepmind/alphageometry"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 62, "longevity": 75, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 1059, "days_push": 232, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 55, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}