Jake Boggan 谈 Barnette 猜想被 AI 证明后的复杂感受

研究 Barnette 猜想长达 24 年的 Jake Boggan 在 Hacker News 评论称，得知该猜想已被证明（问题 180）后感到一种遥远的悲伤。他曾在布达佩斯求学期间开始钻研这一问题，投入数千小时，去年夏天还一度以为自己解决了它。