46 年 Erdős-Graham 猜想被 Claude+GPT 组合证明关闭
RexDouglass · x · 2026-07-25
一个由 Erdős 和 Graham 在 1980 年提出、持续 46 年的猜想被关闭了。
结论是：
- 二次多项式：仍然不满足该“value set 可平铺整数”的性质；
- 三次及以上多项式：作者称已验证为“是”。
这项结果是由一个 MathDyad 组合系统完成的：Claude 负责目标设定、验证和对抗式攻击，GPT-5.6 Sol Pro 负责推理。作者还提到，他们自己发现并修复了一个真实 bug，但这份证明还没有经过数学家独立审查。
「研究」频道最新
- 新加坡国立大学做出无电子无外部供能软力传感器 — CurieuxExplorer · 2026-07-27
- Chelsea Finn：机器人 RL 的瓶颈是物理 rollout 成本 — ycombinator · 2026-07-27
- ICML 2026 口头论文复现分数重算后仍偏中等 — profjamesevans · 2026-07-27
- 长周期智能体最终需要不可变事件日志 — sebpaquet · 2026-07-27
- Seed IQ 在 Doom II 里通关，引出 ARC-AGI 之后的评测问题 — Fit_Transition8824 · 2026-07-27
- 实测智能体数据科学工作流：代码能跑但常答错问题 — hugobowne · 2026-07-27