一则 AI 推理讨论提出：搜索过程不局限于曲线插值

一位发帖者认为，梯度下降拟合的可微曲线本身只能插值，但若用它引导搜索，整个过程就不再只是插值；定理证明和推理链生成都是搜索。相关讨论还引述一位 MIT 教授称，OpenAI 和 Anthropic 的数学证明各有一处看似新颖、来源和含义尚不明确的内容。这些均为讨论中的观点，材料未提供独立验证。