跳到正文
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