Jake Boggan 谈 Barnette 猜想被 AI 证明：24 年投入后的复杂情绪

长期研究 Barnette 猜想的 Jake Boggan 在 Hacker News 评论 openai/math 相关帖子时表示，该猜想据称已在问题 180 中被证明。他称自己曾为此投入数千小时、前后断续研究 24 年，去年夏天还一度以为已解决，如今得知被证明反而感到一种遥远的悲伤。