Jake Boggan谈Barnette猜想被证明的复杂心情
Get the story
据 Simon Willison 2026-10-07 转述，Jake Boggan 在 Hacker News 上评论 openai/math 时谈到个人经历。他自称曾是图论爱好者，曾移居布达佩斯学习，并在 Barnette's Conjecture（巴内特猜想）上断断续续投入了 24 年，去年夏天甚至以为自己已经解决了它。他说该猜想据称已在 problem 180 中被证明，自己在那道题上花了数千小时，得知被解决让他感到一种遥远的悲伤。报道未提供该证明的独立验证信息或具体证明者。
Generated from reports · updated 2 hr ago
Timeline
Follow the coverage from different angles.
- Simon Willison引用 Jake Boggan
Jake Boggan 在 Hacker News 上评论 openai/math 时称，自己曾是图论爱好者，曾移居布达佩斯学习，并在 Barnette's Conjecture 上断断续续投入了 24 年，去年夏天甚至以为自己解决了它。他说该猜想据称已在 problem 180 中被证明，自己在那道题上花了数千小时，得知被解决让他感到一种遥远的悲伤。
Heat trend
Current heat 9·Comparable peak 10（Oct 7）·Comparable change over 24 hours –
The trend compares only the same participants observed continuously; its range may be smaller than the current heat count. Move or click on the chart to inspect hourly heat; use the left and right arrow keys to switch.