alphageometry
AlphaGeometry是一个创新的几何定理证明系统，能够解决奥林匹克级别的几何问题，无需人类示范。它结合了演绎-归纳推理和大型语言模型，自动构建辅助线并生成严格证明。在IMO-AG-30和JGEX-AG-231测试集上，AlphaGeometry分别解决了25和228个问题，大幅超越传统DDAR方法。项目开源了核心代码，包括DDAR求解器和语言模型推理模块，为几何定理自动证明开辟新路径。
