精选理由
OpenAI的GPT-5.6 Sol Pro帮人解决了一个2022年的数学难题，想知道AI怎么证明图论下界？看这篇。
一项新研究证明，若高度为h的完全二叉树同构于某图H与一条路径的强乘积的子图，则H的路径宽度pw(H)至少为Ω(h)。该结果解决了Bose、Dujmović、Javarsineh、Morin和Wood在2022年提出的开放问题。证明由OpenAI的GPT-5.6 Sol Pro模型发现，展示了AI在数学推理中的潜力。论文已发布于arXiv，编号2608.09495v1。
原文 · arXiv: OpenAI
Row pathwidth of complete binary trees
We show that if a complete binary tree of height $h$ is isomorphic to a subgraph of the strong product of a graph $H$ and a path, then $\mathrm{pw}(H)$ is $Ω(h)$. This solves a problem posed by Bose, Dujmović, Javarsineh, Morin, and Wood (2022). The proof was found by OpenAI's GPT-5.6 Sol Pro.
- 歸藏(guizang.ai)08-09 02:37原文