Jake Boggan 谈巴内特猜想获证：耗时 24 年研究难题后的复杂心境

数学研究者 Jake Boggan 在 Hacker News 的 openai/math 页面发表评论，回应第 180 号问题（Barnette's Conjecture，巴内特猜想）获证一事。他表示自己曾断断续续耗费 24 年与数千小时研究该猜想，上个夏天还曾以为成功将其攻克。面对难题被解开，他表达出一种如同得知前女友车祸去世般遥远的悲伤与复杂情绪。