# 类比检索

通用大模型写几何证明时，先检索结构相似、证明已知的旧题作为示例，再由符号验证器逐轮指出错误，完整流程在FormalGeo-7k的50道SAT级欧氏几何题上把证明正确率提到68%–96%，而既不用类比检索也不用验证器反馈的基线为10%–44%。在同样带验证器反馈、同样推理预算下，仅加入类比引导就把GPT-5从88%提到96%、o1从52%提到80%。

通用大模型写几何证明时，先检索结构相似、证明已知的旧题作为示例，再由符号验证器逐轮指出错误，完整流程在FormalGeo-7k的50道SAT级欧氏几何题上把证明正确率提到68%–96%，而既不用类比检索也不用验证器反馈的基线为10%–44%。在同样带验证器反馈、同样推理预算下，仅加入类比引导就把GPT-5从88%提到96%、o1从52%提到80%。