AI 擅长数学：为什么以及模型如何探索解空间

OpenAI 和 Anthropic 的模型近期成功解决了多个长期未解的数学问题，如 Erdős 单位距离猜想。作者分析了模型解决此类问题的核心机制：相比人类，模型能利用计算资源快速遍历大量分支，通过自验证和自动化检查器高效剪枝，即使面对无梯度反馈的难题也能坚持探索。模型通过负向提示积累失败经验，压缩了探索路径的时间成本，使其能处理人类因缺乏耐心而放弃的复杂路径。