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

曾研究 Barnette 猜想长达 24 年的 Jake Boggan 在 Hacker News 评论 openai/math 时表示，该猜想据称已在问题 180 中被证明。他称自己曾投入数千小时，去年夏天还一度以为解决了它，如今得知被证明反而有种遥远的悲伤。