8 页论文突破质数间隔百年纪录,引出 LLM 能否证明大猜想之争
aran_nayebi · x · 2026-10-08
- 一篇仅 8 页的论文《Improved long gaps between primes》在近一个世纪里首次对 Erdős–Rankin 上界取得 double-log 因子的改进;此前人类取得的成果(包括 Erdős 悬赏 1 万美元奖励的突破)都只有 triple-log 因子,弱一个数量级。
- 有评论者据此预测:未来 5 年(甚至可能无限期)内不会有 LLM 用一段写清楚超过 10-20 页的论证去证明(而非证伪)某个重大公开猜想,引发对 AI 数学能力天花板的争论。
「漫话AGI」频道最新
- AI 采用无法随机化？经济学家用企业历史招聘模式构造工具变量 — TaniaBabina · 2026-10-08
- 直接打电话是最通用的破局方式:设想 AI 代表接管「智能语音信箱」式协作 — curious_vii · 2026-10-08
- 「李世石时刻」:AI 数学证明免费可得,数学界愤怒 OpenAI 无意义 — RexDouglass · 2026-10-08
- 「现在入局 AI 安全太晚了」？一篇写给犹豫者的反思 — soumitrashukla9 · 2026-10-08
- 数学家9月上传ChatGPT的未发表证明,10月被OpenAI公开撞车 — GeorgiaChal · 2026-10-08
- 观点：数学社区将分化出以欧洲为中心的反 AI 阵营 — rickasaurus · 2026-10-08