OpenAI 据称解决 Barnette 猜想引研究者感慨

10 月 7 日，Simon Willison 的报道引述了 Jake Boggan 在 Hacker News 上的评论。Boggan 称，Barnette 猜想据称已由 OpenAI 的数学工作解决，并标注为“问题 180”。他表示，自己钻研这一猜想已有 24 年，累计投入数千小时；得知这一结果后，他感到一种遥远的悲伤，并称当晚大概有很多人心情复杂。目前报道呈现的是 Boggan 对这一据称成果的评论与个人感受，未提供证明细节或进一步验证信息。

AI 根据报道生成 · 31 分钟前更新

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