OpenAI 推卸证明 Barnette 猜想，用户感慨复杂心情

用户 Jake Boggan 在 Hacker News 评论中讲述了自己研究 Barnette 猜想长达 24 年的经历。据他所述，去年夏天他曾以为自己解决了该问题。现在得知 OpenAI 的 math 项目第 180 题据称给出了该猜想的证明，他感到心情复杂，既有一种释然感，也伴随着失落感。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。