通俗解释
用 1 亿条合成定理和证明训练语言模型，在符号推理卡住时提出辅助构造，符号引擎负责可验证的推导，在 IMO 几何题上接近金牌选手水平。
用在哪里：数学推理、形式化证明
01原始论文
Solving olympiad geometry without human demonstrations
Trinh et al. · Nature · 2024
DOI ↗ ✓ 已核实 · Crossref API doi:10.1038/s41586-023-06747-5
02知识位置
左边先学；右边是学完它之后可以学的。
相关：AlphaFold 2 蛋白质结构预测可验证奖励强化学习 RLVR
左：前置 · 右：后继 · 虚线：相关。看完整关系图 →
03学习资料
官方文档、图解、课程和参考实现，链接都核对过。
04在课程里哪里学
给 AI 读 / 数据说明
- 核实状态：已核实，核对于 2026-10-21。
- JSON: /api/learn/algorithms.json (id:
alphageometry)