Jake Boggan 谈 Barnette 猜想据称已被证明：24 年研究后的复杂心情

Jake Boggan 在 Hacker News 关于 openai/math 的评论中表示，Barnette 猜想据称已在 problem 180 中得到证明。他曾断断续续投入 24 年、数千小时研究该问题，去年夏天还一度以为自己解出了它。得知消息后他感到一种遥远的悲伤，并称今晚可能有很多人心绪复杂。