苦研 Barnette 猜想 24 年，Jake Boggan 听闻 OpenAI 论文称已证明后百感交集

Jake Boggan 在 HN 回忆，自己为研究图论搬到布达佩斯、断续投入 Barnette 猜想 24 年，得知 OpenAI 发布的论文中问题 180 已「被证明」后百感交集。他说去年夏天还一度以为自己解出了这道题，并用「就像听说前女友突然车祸去世」形容心情，推测今晚很多人都有同样的异样感受。