OpenAI数学仓库评论引关注：研究24年Barnette猜想据称已被证明

2026年10月7日，Simon Willison博客转述Hacker News用户Jake Boggan在openai/math仓库的评论。Boggan在评论中表示，他研究24年的Barnette猜想（即该仓库中的问题180）据称已被证明。Boggan在评论中透露自己曾是图论爱好者，曾为求学移居布达佩斯，并提到去年夏天他曾以为自己已攻克该问题。他在听到已被证明的消息后感到失落，将这种感受比作"听到前女友车祸去世"。该评论因此引发关注，但目前报道未提供Barnette猜想被证明的具体出处或证明者信息。

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

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