大语言模型为何在数学上变得擅长

Ankit Maloo 分析 OpenAI 与 Anthropic 大模型近期攻克单位距离猜想、费马定理等数学难题的现象，提出以洞察序列长度和分支因子评估问题可解性。文章指出 AI 采用深度优先搜索配合自动验证器，将人类需数月的工作压缩至分钟级并穷举分支。这一差异解释了为何 AI 在分支因子小的领域先突破，而人类直觉仍主导高分支深度问题。