Binary Verse AI 解读 OpenAI 证明 Barnette 猜想的思路与意义

Binary Verse AI 发布视频解读 OpenAI 所称内部模型证明自 1969 年悬而未决的图论问题 Barnette 猜想。视频讲解三次图、二分图、平面图、3-顶点连通图，以及用对偶图、双树表述、复值加权和 Z(x) 排除错误回路并恢复 Hamiltonian 回路的论证步骤，同时单列 Lean 验证注意事项和证明尚未确立的内容。