AI为何突然擅长数学：解题模式的深层差异

作者分析OpenAI和Anthropic近期解决多个数学难题的案例，指出AI通过深度优先搜索、并行尝试和自动化验证，能高效探索大量路径。与人类的广度优先、早期剪枝不同，AI能承受失败成本，将失败路径转化为负提示，从而在高计算成本下完成复杂证明。图示对比了人类与AI的解题模式：人类在早期放弃无进展方向，AI则将所有路径推进至完成再由验证器筛选。