Jake Boggan 谈 Barnette 猜想被 openai/math 解决后的复杂心情

曾研究图论多年的 Jake Boggan 在 Hacker News 评论中自述：他为 Barnette 猜想断断续续投入了 24 年、数千小时，甚至一度以为自己解决过它。看到该猜想据说在 openai/math 的问题 180 中被证明后，他坦言心情复杂，隐隐感到失落，并猜想今晚还有不少人同样情绪复杂。