两年前预言落空，Erdős 等差数列猜想或已被证明
_onionesque · x · 2026-10-07
作者 onionesque 曾预言 Erdős 等差数列猜想两年内不会解决，如今开心地发现这个预言没有成真——疑似该猜想已有突破，但他也坦承目前给出的证明「可读性堪忧」，尚待验证。若成立，将是数学界与 AI 辅助证明相关的标志性进展。
所属事件:Erdős 等差数列猜想疑获证明引发热议(2 条相关)→
「研究」频道最新
- OpenAI 证明矩阵乘法可降至 O(n^2.25),但尚无具体算法 — Pascallisch · 2026-10-07
- Melanie Mitchell 回击 Scott Alexander：晒 Google Scholar 与 NeurIPS 新论文 — MelMitchell1 · 2026-10-07
- 整数乘法再快于 N log N？算法圈惊呼「太邪门」 — QuintinPope5 · 2026-10-07
- OpenAI 研究员惊讶:AI 实验室数学新成果至今没查出硬伤 — willdepue · 2026-10-07
- 前沿 LLM 做生物「人类解读者」比虚拟细胞更先落地 — CatAstro_Piyush · 2026-10-07
- AI 宣称攻克 500 大开放数学难题中的 90 个,黎曼猜想等获部分证明 — DavidSKrueger · 2026-10-07