AlphaGeometry：阅读笔记

是什么？

AlphaGeometry是一个神经符号系统，它使用神经语言模型，在大规模合成数据上从零开始训练，指导符号演绎引擎解决有着无限分支节点的挑战性问题。

如下图所示：

这是一个解决简单证明题的过程：
1，首先它的语言模型读取题目，
2，然后提出一个辅助线做法，
3，然后在这个提醒的指引下，它的符号推理机制开始推理结果，
4，最终解决证明题。

亮点是什么？

1，基于已有的基本的定理合成大量的可以用于训练的数据。

2，符号推理部分包含图推理结构，代数结构。

3，首次在IMO上证明模型可以达到人类顶级水平。

4，这是很好的因果学习的一个实例。也就是说，逻辑推理可以依托启示+推理来完成。

启发是什么？

1， 这个模型告诉我，在以后的工作中可以更好的将模型和学科知识结合到一起。可以在模型中加入一些基本事实，来达到启发模型的效果。

参考链接

讲解视频