引用 Jake Boggan

Jake Boggan 在 Hacker News 上评论 openai/math 时称，自己曾是图论爱好者，曾移居布达佩斯学习，并在 Barnette's Conjecture 上断断续续投入了 24 年，去年夏天甚至以为自己解决了它。他说该猜想据称已在 problem 180 中被证明，自己在那道题上花了数千小时，得知被解决让他感到一种遥远的悲伤。