图论学者称 OpenAI Math Dump 解出十年猜想

2026 年 10 月 13 日，AGI Hunt 报道，图论学者 Hung Le（unsu）称自己花 20 小时研读 OpenAI Math Dump 中的一个结果，发现其中包含两个猜想的解法：平面图的 ℓ₁-嵌入猜想与有界 tree-width 图的 ℓ₁-嵌入猜想。报道称，这两个猜想是 Hung Le 与 Arnold Filtser 等人研究十余年、已发表数篇论文的问题。报道未提及该结果的具体内容、证明篇幅，也没有说明是否经过同行评审或由 OpenAI 方面确认。就目前报道而言，进展主要来自这位学者的个人陈述，尚无其他来源的独立验证。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。