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

长期研究 Barnette 猜想的 Jake Boggan 在 Hacker News 评论称，该问题已在 openai/math 的 problem 180 中被证明解决。他为此投入了 24 年、数千小时，去年夏天还一度以为自己解决了它，如今听到结果感到一种遥远的悲伤。