Jake Boggan 谈 Barnette 猜想被 AI 解决后的复杂情绪

长期研究 Barnette 猜想的 Jake Boggan 在 Hacker News 评论称，该问题（problem 180）据称已被解决，他为此投入了数千小时、前后断续 24 年。他表示听到消息后有种遥远的悲伤，并猜测今晚可能有很多人心情复杂。