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，但这份证明还没有经过数学家独立审查。
「研究」频道最新
- Datology Curation Studio 线上深潜：少于 20% 算力匹配最强基线 — josh_wills · 2026-10-27
- KANLab 开源：浏览器里可视化玩转 KAN 网络 — Lukas Niehaus · 2026-10-27
- CMU 提出 LLM2Cert：LLM 生成证书，SMT/Lean 自动验证 — CarnegieMellonU · 2026-10-27
- NVIDIA 开源 FLORA：机器人数据引擎，成本仅 GPT-6 Astra 的 1/125 — nvidia · 2026-10-27
- RSNA 2026 深度学习实验室回归:芝加哥四天八节动手 AI 课 — PRouzrokh · 2026-10-27
- 实验：同时调控两组神经元，模型自行组合出「gnome」概念 — Sauers_ · 2026-10-27