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

据 Simon Willison 2026-10-07 转述，Jake Boggan 在 Hacker News 上评论 openai/math 时谈到个人经历。他自称曾是图论爱好者，曾移居布达佩斯学习，并在 Barnette's Conjecture（巴内特猜想）上断断续续投入了 24 年，去年夏天甚至以为自己已经解决了它。他说该猜想据称已在 problem 180 中被证明，自己在那道题上花了数千小时，得知被解决让他感到一种遥远的悲伤。报道未提供该证明的独立验证信息或具体证明者。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。