引述 Jake Boggan 谈 Barnette 猜想被证明后的复杂心情

数学家 Jake Boggan 在 Hacker News 评论 openai/math 的"问题 180"时表示，Barnette 猜想据称已被证明，让他百感交集。他曾为此猜想投入 24 年、数千小时，去年夏天甚至一度以为自己解决了它。他说得知问题被解决反而有种遥远的悲伤。