DeepMind近日发布了其几何模型AlphaGeometry的重大升级版本AlphaGeometry 2，该模型在解决几何问题上的正确率从先前方法的54%大幅提升至84%。这一突破性进展主要得益于Gemini语言模型的整合以及更高效的搜索算法。Al...

DeepSeek项目致力于通过大规模合成数据提升LLM在定理证明领域的能力。传统的定理证明通常依赖于有限的标注数据，这限制了模型的学习和推理能力。DeepSeek通过生成多样化的合成数据集，训练模型识别和解决复杂的数学...

ToRA是一系列工具集成的推理代理人，旨在通过与工具交互来解决具有挑战性的数学推理问题。通过与定理证明器、计算机代数系统等工具进行交互，ToRA能够发现新的证明策略，并在证明过程中自动应用这些策略。目前，ToRA...