Jake Boggan 谈 Barnette 猜想被 AI 解决后的复杂心情

钻研 Barnette 猜想 24 年的 Jake Boggan 在 Hacker News 评论称，该猜想据称已被证明（problem 180），他为此投入数千小时，得知消息后感到一种遥远的悲伤。他提到去年夏天还曾一度以为自己解决了这个问题。