AI 为何在数学上突飞猛进

作者分析了近期 OpenAI 和 Anthropic 在数学证明上的突破，认为 LLM 采用深度优先搜索、并行计算和自动验证器，使其能快速探索大量路径，克服了人类在洞察性问题中因缺乏进展感而放弃的局限。核心在于问题所需的洞察数量（k）和分支因子（b）决定了 AI 的解题效率，而人类在分支众多、洞察需求高的领域仍具优势。