# AI4Math

如何用 AI 解 IMO 几何题？

辅助线的构造是一个 Markov 过程。

基于历史的 196 道几何题，看常见的辅助线思路，比如一个三角形后面一般是作外接圆。这样使用 10,000 个 CPU 工作 30 天，构造了 67 亿道题目。

# 基于神经网络的量子蒙特卡洛

使用强化学习，不依赖于外部数据。

# AI4Phys

发掘 LLM 在物理上的推理能力。

人类现有的文献数据，大多是结论，而缺少思考的过程。这样就阻断了不同学科之间的内在联系，形成学科壁垒。

那么，如何解压缩人类知识中的推理能力？