Jake Boggan 谈 24 年研究 Barnette 猜想：得知被证明后的复杂心情

Hacker News 用户 Jake Boggan 在 openai/math 第 180 题相关讨论中回忆，自己 24 年来断断续续研究 Barnette 猜想（Barnette's Conjecture），去年夏天曾短暂以为已经攻克。得知该猜想已被证明后，他表示感到一种"遥远的悲伤"，如同听闻前女友在车祸中骤然离世，许多人可能今晚都有类似复杂情绪。