{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2024-01-17-alphageometry/","md":"https://postcutoff.com/e/2024-01-17-alphageometry/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2024-01-17-alphageometry","date":"2024-01-17","date_precision":"day","short_title":"AlphaGeometry solves olympiad geometry near gold-medallist level without human demonstrations","deck":null,"takeaway":"AlphaGeometry (Nature, 17 Jan 2024) solved 25 of 30 IMO geometry problems from 2000–2022.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":[{"n":1,"title":"Solving olympiad geometry without human demonstrations (Nature)","url":"https://www.nature.com/articles/s41586-023-06747-5","type":"paper","group":"primary","domain":"nature.com"},{"n":2,"title":"Nature news on AlphaGeometry","url":"https://www.nature.com/articles/d41586-024-00145-1","type":"press","group":"press","domain":"nature.com"},{"n":3,"title":"Wu's method can boost symbolic AI to rival silver medalists (arXiv 2404.06405)","url":"https://arxiv.org/abs/2404.06405","type":"discussion","group":"reactions","domain":"arxiv.org"}],"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind","New York University"],"title":"AlphaGeometry solves olympiad geometry near gold-medallist level without human demonstrations","summary":"AlphaGeometry (Nature, 17 Jan 2024) solved 25 of 30 IMO geometry problems from 2000–2022. The previous best system solved 10 and the average gold medallist 25.9. It combines a language model with a symbolic deduction engine and was trained on 100M synthetic proofs.","key_facts":["IMO-AG-30 benchmark: 25/30 solved vs 10 for the previous state of the art (Wu's method)","Trained entirely on 100 million synthetic theorems and proofs, no human demonstrations","A later paper showed Wu's method plus a better deductive database rivals it (arXiv 2404.06405)","AlphaGeometry 2 (2025) reached gold-medallist level on geometry"],"key_numbers":[],"tags":["math","geometry","imo","neuro-symbolic"],"science":{"field":"mathematics","subfield":"Euclidean geometry / automated theorem proving","problem":"Olympiad-level geometry proofs","result":"25 of 30 IMO geometry problems solved with human-readable proofs.","open_since":"","ai_system":["AlphaGeometry"],"human_role":"Autonomous","verification":{"key":"peer-review","label":"Peer-reviewed","text":"Peer-reviewed in Nature; proofs checked by an IMO coach (Evan Chen)"},"status":"confirmed","shock":""},"body_md":"## What happened\n\nDeepMind generated synthetic geometry theorems at scale to train a language model that proposes auxiliary constructions, while a symbolic engine does the deduction.\n\n## Why it matters\n\nIt was a step towards the 2024 IMO silver and 2025 gold, and showed that synthetic data could replace scarce human proofs.","disputed":[],"related":[{"id":"2024-07-25-alphaproof-imo-silver","url":"https://postcutoff.com/e/2024-07-25-alphaproof-imo-silver/","date":"2024-07-25","date_precision":"day","short_title":"AlphaProof and AlphaGeometry 2 reach IMO silver-medal standard","deck":null,"takeaway":"First AI to reach medal level at the IMO; a year later, natural-language LLMs reached gold.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-09-29","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":null,"updated":"2026-09-29","human_review":null,"version":{"date":"2026-10-04"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":null,"in_training_data":true},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":null,"in_training_data":true},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":null,"in_training_data":true},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":null,"in_training_data":true}],"short_url":null}