检索增强推理 (Retrieve-then-Reason)

检索增强推理是一种AI系统架构，先检索相关题型、引理或知识，再进行推理和证明生成。MathNet相关论文标题中同时提到"Solve"和"Retrieve"，暗示团队在考虑这条路线。

与RAG的区别

检索增强推理与[[检索增强生成 (RAG)]]类似但更聚焦于数学领域。对于复杂数学问题，人类选手的第一步也不是闭眼硬推，而是先识别题型、回忆相似结构、联想到典型引理或惯用构造。AI也一样。

MathNet这种既有题又有解、既有元数据又有跨语言映射的资源，正适合搭建检索增强推理系统。未来真正强的数学系统，很可能不是一个"裸模型"，而是一个把题目理解、相似题检索、知识调用、形式验证和最终证明生成串起来的工作流。