// ⌬ Graph Neural Networks & AI for Science

AlphaGeometry (Neuro-Symbolic Reasoning)

An LM proposes constructions; a symbolic engine proves olympiad geometry.

AlphaGeometry 神经-符号推理 2024 Advanced core

IN PLAIN WORDS

Trained on 100M synthetic theorems, the LM suggests auxiliary constructions when the symbolic engine stalls; the engine produces verifiable proofs, approaching IMO gold-medalist level on geometry.

Used in: Math reasoning, formal proof

TIMELINE · prerequisites → this → what builds on it

2017 Transformer &…2024 AlphaGeometry (Ne…

01Original paper

Solving olympiad geometry without human demonstrations

Trinh et al. · Nature · 2024

DOI ↗ ✓ Verified · Crossref API doi:10.1038/s41586-023-06747-5

02Where it sits

Learn the left column first; the right column builds on this one.

Learn first

Transformer & Self-Attention

AlphaGeometry (Neuro-Symbolic Reasoning)

Then you can learn

Nothing in the atlas builds on it yet

Left: prerequisites · right: builds on this · dashed: related. Full map →

03Learning resources

Official docs, explainers, courses and reference code. All links checked.

Reference code

google-deepmind/alphageometry ↗EN

04Where the course teaches it

U94 AI for Science & Domain Applications Graph neural networks, AlphaFold, AlphaGeometry and automated research — linked with AIMap’s “AI × Disciplines” section. 10 h4 algorithms3 papers

For AI / data

Verification: verified, checked 2026-10-21.
JSON: /api/learn/algorithms.json (id: alphageometry)