图论学者 Hung Le 花 20 小时研读 OpenAI Math Dump，称自己研究十余年的两个猜想已被解出

图论学者 Hung Le（unsu）称用 20 小时研读 OpenAI Math Dump 中的一个结果，其中包含他与 Arnold Filtser 等人研究十余年、发表过数篇论文的两个猜想的解法，即平面图的 ℓ₁-嵌入猜想与有界 tree-width 图的 ℓ₁-嵌入猜想。