LLM 擅长解决数学问题的原因分析

Ankit Maloo 分析 LLM 近期解决 Erdős 单位距离猜想、CDC、Navier-Stokes 等开放问题的方式，认为模型通过深度优先搜索、并行 test-time compute、自动验证和多智能体编排，以计算成本换取更短的试错周期。