论文多源确认
OpenAI 生成的 Barnette 猜想证明被整理成论文
A note on the proof of Barnette's conjecture
精选理由
OpenAI 生成了 Barnette 猜想的证明，有人把它整理成 arXiv 论文，想看模型在数学难题上的真实水平可以看看。
Barnette 猜想断言：每个三次的 3-连通二部平面图都存在哈密顿回路。arXiv 上一篇文章以摘要形式梳理了 OpenAI 生成的 Barnette 猜想证明，附有该证明的原始引用。这是将大型模型用于数学命题证明的一个具体案例。
原文 · arXiv: OpenAI
A note on the proof of Barnette's conjecture
Barnette's conjecture states that every cubic 3-connected bipartite planar graph has a Hamiltonian cycle. We present a digested exposition of OpenAI's generated proof of Barnette's conjecture \cite{openai-barnette}.