the open
    research
    Contribute
    Back to the reading lists

    AI for science· 2024

    Solving olympiad geometry without human demonstrations

    Trieu H. Trinh (first author) · 2024

    Read the original

    DOI 10.1038/s41586-023-06747-5OpenAlex W4390940921

    On the reading lists

    Why it matters

    Combined synthetic proofs, neural guidance, and symbolic deduction to solve olympiad-level geometry.

    Condensed from the expert lists' notes.

    Reading it

    Difficulty: Advanced

    Read this first: the Transformer (Attention Is All You Need); Euclidean geometry.

    The record

    First released
    2024 (from OpenAlex)
    Citations
    311 citations, as counted by OpenAlex (CC0)
    Named by
    both expert lists
    Score
    0.368 · computed rank 434 · consensus 0.74, must-read 1, citations percentile 0.13 (2020s · science), awards 0, existing lists 0. Method

    Editor's notes

    • Readability check: pass: AlphaGeometry: neural guidance for symbolic proof search. (AI draft (Claude), not yet reviewed, 2026-10-29)

    Data sources

    Catalogue data from OpenAlex (CC0), Crossref (CC0 metadata; no abstracts are shown), arXiv, and Papers With Code (CC BY-SA 4.0). Each count names its source. See the method.