Jake Boggan 谈 Barnette 猜想被 AI 解决

2026年10月7日，Simon Willison 报道，长期研究 Barnette 猜想的 Jake Boggan 在 Hacker News 评论称，该问题已在 openai/math 的 problem 180 中被证明解决。Boggan 表示自己为此投入了 24 年、数千小时，去年夏天还一度以为自己解决了它，如今听到结果感到一种遥远的悲伤。报道未提供该证明的具体细节，也未说明 AI 解决过程的其他信息。

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

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