引用 Jake Boggan：面对 Barnette 猜想据称获证的复杂心情

Jake Boggan 在 openai/math 的 Hacker News 评论中表示，Barnette 猜想据称已在问题 180 中获证，让他感到复杂而伤感。他断断续续研究这一问题长达 24 年，投入数千小时，去年夏天还曾一度以为自己找到了证明。