Jake Boggan 谈 Barnette's Conjecture 被证明

Jake Boggan 在 Hacker News 评论中称，他花费 24 年研究 Barnette's Conjecture，去年夏天曾以为自己解决该问题。近日该猜想被证明（problem 180），他感到复杂情绪，称可能有许多人今夜感到奇怪。