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

曾为研究图论移居布达佩斯的 Jake Boggan 表示，他为 Barnette 猜想断断续续投入了 24 年、数千小时，得知该猜想据称已在 openai/math 的问题 180 中被证明后百感交集。他形容这种心情“像听到前女友突然车祸去世般难过”，并猜测今晚还有不少人同样情绪复杂。