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

曾钻研 Barnette 猜想长达 24 年的 Jake Boggan 在 Hacker News 评论称，该问题（problem 180）据称已被证明，相关讨论出现在 openai/math 项目下。他表示自己曾投入数千小时，去年夏天还一度以为已解决，如今听闻被证明反而感到一种遥远的悲伤。