AI 正变得擅长数学：原因何在
OpenAI 和 Anthropic 的模型近期解决了多个开放数学问题，促使作者探讨 LLM 为何能处理这类难题，以及哪些问题更容易被解决。文章认为，人类通常先广泛探索、再深入少数方向，而模型可借助并行尝试和自动验证器快速筛选完整论证，从而改变搜索方式。
OpenAI 和 Anthropic 的模型近期解决了多个开放数学问题，促使作者探讨 LLM 为何能处理这类难题，以及哪些问题更容易被解决。文章认为，人类通常先广泛探索、再深入少数方向，而模型可借助并行尝试和自动验证器快速筛选完整论证，从而改变搜索方式。