Jake Boggan 谈 Barnette 猜想被 AI 证明：24 年投入后的复杂情绪

Jake Boggan 在 Hacker News 评论 openai/math 相关讨论时表示，自己曾为 Barnette 猜想投入 24 年、数千小时，如今该问题（problem 180）据称已被证明。他形容听到这一消息的感受如同听闻前女友突然车祸去世般遥远而悲伤，并猜测今晚会有很多人心情复杂。