Latent Space· Ankit Maloo·· 4 天前AI 评分73
AI 为何突然擅长数学:用 Gowers 复杂度框架解读 LLM 解题方式
AI Is Getting Good at Math. Here’s Why.
AI 导读
作者分析 OpenAI 与 Anthropic 模型近期解决 Erdős 单位距离猜想反例、Cycle Double Cover、Navier-Stokes 证明、Fermat 定理形式化等工作,提出用提示序列长度 k、工作量 t 和分支因子 b 的复杂度框架解释 AI 的解题优势。
来源:Latent Space · latent.space