Barnette猜想据称在problem 180被证明

2026年10月7日12时47分，Simon Willison引述Jake Boggan的评论。Jake Boggan说，缠绕他24年的Barnette's Conjecture据称在problem 180被证明。这段话写于2026年10月7日，是他在Hacker News上针对openai/math留下的评论。报道确认的事实限于评论者、评论日期、发布平台、针对对象，以及“该猜想缠绕他24年、据称在problem 180被证明”这一说法。报道未给出证明过程、证明者、论文或核验结果，也没有写明该说法是否已得到其他来源复核。

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

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