图论学者花 20 小时研读 OpenAI Math Dump:自己十年的猜想被解了
burny_tech · x · 2026-10-13
图论学者 Hung Le(unsu)发文称花了 20 小时研读 OpenAI Math Dump 中的一个结果,并配长文详述。Dump 中包含他和朋友 Arnold Filtser 等人研究了十多年、发表过数篇论文的两个猜想的解法:平面图的 ℓ₁-嵌入猜想与有界 tree-width 图的 ℓ₁-嵌入猜想。
要点:
- 他的阅读笔记(发表在博客 Rambling on Graphs)持续更新:10 月 10-11 日又读了 6 小时,认为第 5、6 节的写作「完全是笑话」,真正的核心在第 6-8 节
- 他虽感到「不安、难以接受」,但认为现在理解这些证明比再产出一篇新论文更重要,期望学到对平面度量的真正理解
- 他预测下一个结果将是 minor-free 图度量可以常数失真嵌入 ℓ₁ 的猜想,并给出基于 Robertson-Seymour 分解的归约思路
- 结尾感叹:「活在一个多么奇怪的时代。」
「研究」频道最新
- Anthropic×Adaptyv 蛋白设计大赛第三关：设计激活 GLP1R 受体的蛋白 — victorgreiff · 2026-10-13
- 中国组建 AI 数学联盟，丘成桐中心召集八机构千名科学家 — burny_tech · 2026-10-13
- 研究者：人工生命将成未来数年最重要的研究方向之一 — burny_tech · 2026-10-13
- van der Schaar Lab 开放 2027 年全额资助 ML 博士申请 — MihaelaVDS · 2026-10-13
- 科学家发现果蝇「饿怒神经元」,饥饿经多巴胺通路驱动攻击性 — mjdramstead · 2026-10-13
- 只拿拒绝样本校准让缓存错误率翻 3 倍，随机 5% 审计救回 — Reasonable_Royal_621 · 2026-10-13