Jake Boggan 谈 Barnette 猜想被 AI 证明后的复杂感受

曾研究 Barnette 猜想长达 24 年的 Jake Boggan 在 Hacker News 评论称，该猜想据称已在 openai/math 的 problem 180 中被证明。他表示自己在这个问题上投入了数千小时，得知它被解决后感到一种遥远的悲伤。