Jake Boggan 谈 Barnette 猜想被证明后的复杂心情

Barnette 猜想据称在 openai/math 的问题 180 中被证明。曾研究图论多年的 Jake Boggan 在 Hacker News 评论中自述，他为该猜想断断续续投入了 24 年、数千小时，甚至一度以为自己解决过它。看到猜想据说已被证明后，他坦言心情复杂，隐隐感到失落，并猜想当晚还有不少人同样情绪复杂。目前事件进展止于其个人在评论中的表态，报道未提供证明本身的细节。

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

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