AI reasoning discussion argues search is not limited to curve interpolationMachine translation

One poster argues that a differentiable curve fitted by SGD can only interpolate, but a process that uses it to guide search is no longer merely interpolating; theorem proving and reasoning-chain generation are forms of search. A related post quotes an MIT professor as saying that the OpenAI and Anthropic proofs each contain a seemingly novel piece whose origin and meaning remain unclear. The material provides no independent verification.