Jake Boggan 在 openai/math 评论中感慨研究 24 年的 Barnette 猜想或已被证明

Hacker News 用户 Jake Boggan 在 openai/math 仓库评论中表示，他研究 24 年的 Barnette 猜想（问题 180）据称已被证明。他透露自己曾是图论爱好者、曾为求学移居布达佩斯，去年夏天曾以为自己已攻克该问题，听到被证明的消息反而感到失落，称这种感受像"听到前女友车祸去世"。