{"url":"/dataset/imo-ag-30","name":"IMO-AG-30","full_name":null,"description_markdown":"**IMO-AG-30** refers to a set of **30 classical geometry problems** adapted from the International Mathematical Olympiad (IMO) contests. These problems are specifically designed to challenge and test the problem-solving abilities of high-school mathematicians in the field of geometry.\r\n\r\nRecently, **AlphaGeometry**, an AI system developed by Google DeepMind, demonstrated exceptional prowess in solving these geometry problems. In a benchmark test, AlphaGeometry solved **25 out of the 30 IMO-AG-30 problems** within the standard Olympiad time limits. This achievement places it on par with the average score of human gold medalists who participate in the IMO geometry competitions¹²³.\r\n\r\nAlphaGeometry adopts a **neuro-symbolic approach**, combining a neural language model with a symbolic deduction engine. This powerful combination allows it to find proofs for complex geometry theorems, bridging the gap between AI reasoning and human-level performance in mathematics¹.\r\n\r\nThe development of AlphaGeometry represents a significant milestone in advancing deep mathematical reasoning and has implications for the future of AI systems across various domains. The code and model for AlphaGeometry have been open-sourced, encouraging further exploration and innovation in mathematics, science, and AI¹⁵.\r\n\r\nAs Ngô Bảo Châu, a Fields Medalist and IMO gold medalist, aptly put it: \"It makes perfect sense to me now that researchers in AI are trying their hands on the IMO geometry problems first because finding solutions for them works a little bit like chess in the sense that we have a rather small number of sensible moves at every step. But I still find it stunning that they could make it work. It's an impressive achievement.\"¹.\r\n\r\n(1) AlphaGeometry: An Olympiad-level AI system for geometry. https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/.\r\n(2) Inside AlphaGeometry: Google DeepMind’s New Model that Solves Geometry .... https://pub.towardsai.net/inside-alphageometry-google-deepminds-new-model-that-solves-geometry-problems-like-a-math-dad37976fc39.\r\n(3) AlphaGeometry: Discover AI System That Solves Geometry Olympiad .... https://hyscaler.com/insights/alphageometry-ai-system-solves-geometry/.\r\n(4) GitHub - google-deepmind/alphageometry. https://github.com/google-deepmind/alphageometry.\r\n(5) Inside AlphaGeometry: Google DeepMind’s New Model that Solves.... https://towardsai.net/p/machine-learning/inside-alphageometry-google-deepminds-new-model-that-solves-geometry-problems-like-a-math-olympiad-gold-medalist.","description_withheld":null,"homepage":"https://github.com/google-deepmind/alphageometry","introduced_date":null,"introduced_date_note":null,"introduced_by":null,"license":null,"modalities":[],"tasks":[],"languages":[],"variants":["IMO-AG-30"],"data_loaders":[],"num_papers_in_archive":0,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}