AI 暴力破解 Erdős 难题：单日推进多项数学界前沿
kevrussell · x · 2026-07-28
作者展示了利用系统化方法（可能结合自动化验证）在数学难题上取得的惊人进展，单日内在 Erdős 问题中推进了多个边界：
- 规模庞大：索引了 1,217 个 Erdős 问题，追踪了 225 个有界量，并设有 28 条证书通道。
- 关键突破：推进了包括 R(C₄,K₁,n) 精确值、精确表 f(1..45) 等在内的多个问题；直接通过交叉引用关闭了 #241；证明了 a(6) > 10¹²。
- 独立验证与纠错：独立验证了 Alpöge 的雅可比猜想反例等他人的结果；同时保留了 2 条自我撤回的结果，承认了先前的计算错误（如将某数值界限从 10¹³ 修正为 10¹²）。
- 避坑指南：标注了 33 个已验证的死胡同（walls），防止其他研究者重复浪费时间。
「研究」频道最新
- 同一模型规格，不同 coding agent 给出差异估计 — JessicaHullman · 2026-07-28
- 渐进式上下文扩展更适合线性注意力混合模型 — stochasticchasm · 2026-07-28
- Google DeepMind 认为 LLM 会证明定理却不会科学跳跃 — kylekabasares · 2026-07-28
- CMU 的 O-VAD 通过物体状态追踪做工业异常检测 — CarnegieMellonU · 2026-07-28
- Latent Action Model 讲座将演示如何仅靠观察学会超级马里奥 — ceciletamura · 2026-07-28
- GLM 5 之后引入 per-head Muon 平衡各头更新 — stochasticchasm · 2026-07-28