Jake Boggan 谈 Barnette 猜想被解决：24 年投入后的复杂情绪

Jake Boggan 在 Hacker News 评论 openai/math 相关讨论时表示，自己曾长期研究 Barnette 猜想，前后断续投入 24 年，去年夏天还一度以为已经解决。他称该问题“据说”已在 problem 180 中被证明，听到消息后感到一种遥远的悲伤。