Hacker News 用户 Jake Boggan 评论 OpenAI 解决 Barnette 猜想

Hacker News 用户 Jake Boggan 评论 OpenAI 在 openai/math 帖子中宣布解决 Barnette 猜想。他提到自己曾花费数千小时研究该问题，甚至曾以为已解决，得知被证明后感到复杂情绪。