LLM通过验证循环解决数学问题的未来趋势

转推 @deredleritt3r: 我倾向于将这些结果视为未来的窗口。最初，模型完全无法解决这类问题。下一代模型能够在一定程度上解决这些问题，但只有在提供良好工具（如我们看到的这个“证明者-验证者”循环）的情况下。再过一两代，LLM将能够完全自主地解决问题，无需工具。单位距离问题也是如此。根据OpenAI的说法，GPT-5.5如果配备非常好的工具，可能能够解决这个问题。但OpenAI内部的一个模型（要么比GPT-5.5更大的模型，要么是下一代模型）能够完全自主地解决单位距离问题，无需工具。