AI 数学能力跃升：基于问题复杂度与搜索模式的解读

AI 在近期独立解决了 Erdős 单位距离猜想、Navier-Stokes 等长期未决数学难题。文章指出这主要得益于模型搜索模式的翻转，即利用算力取代人类耗时的探索过程，且 LLM 擅长解决分支因数和概念跳跃较少的问题。