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，但这份证明还没有经过数学家独立审查。
「研究」频道最新
- VidMap 用 RoMa 粗匹配全帧、精细匹配仅限关键帧 — ducha_aiki · 2026-09-11
- Bug Hunt Bench 作者补充:榜单噪声幅度约 2-3 分 — PawelHuryn · 2026-09-11
- 台球计算模型登 PNAS:二维系统已存在不可判定性,可跑通用计算机 — eigensteve · 2026-09-11
- 新研究:从仿射变换与重力线索求解绝对位姿 — ducha_aiki · 2026-09-11
- LoMa 论文发布 REALLY HardPairs 数据集,入选 ECCV 2026 — ducha_aiki · 2026-09-11
- JHU 开设全栈机器人学习课:组装机械臂、采数训练部署一条龙 — _krishna_murthy · 2026-09-11