OpenAI 数学项目据称证明 Barnette 猜想
Hacker News 用户 Jake Boggan 在评论 openai/math 相关讨论时称，Barnette 猜想「据称已在此处被证明——问题 180」。他曾长期研究该猜想，前后投入约 24 年、数千小时，去年夏天还一度以为自己做出来了。他表示听到被解决的消息感到一种遥远的难过。原文为引语摘录，未提供证明细节与验证情况。
推荐理由了解 AI 参与数学证明的一线讨论，以及研究者对「被 AI 抢先」的真实情绪
Hacker News 用户 Jake Boggan 在评论 openai/math 相关讨论时称，Barnette 猜想「据称已在此处被证明——问题 180」。他曾长期研究该猜想，前后投入约 24 年、数千小时，去年夏天还一度以为自己做出来了。他表示听到被解决的消息感到一种遥远的难过。原文为引语摘录，未提供证明细节与验证情况。
推荐理由了解 AI 参与数学证明的一线讨论，以及研究者对「被 AI 抢先」的真实情绪