Jake Boggan 谈 Barnette 猜想被 AI 证明后的复杂心情

曾研究 Barnette 猜想长达 24 年的 Jake Boggan 在 Hacker News 评论称，该猜想据称已被证明（问题 180），他为此投入了数千小时。他表示听到这一消息后有种遥远的悲伤，像得知前女友突然车祸去世，并认为今晚可能有很多人情绪复杂。