跳到正文
原文
Simon Willison·· 7 小时前AI 评分25

Simon Willison 引述 Jake Boggan:Barnette 猜想被证明,我花了 24 年研究它

AI 导读

Jake Boggan 在 Hacker News 上评论称,他研究了 24 年的 Barnette 猜想据称已被证明(problem 180),令他心情复杂。他曾在布达佩斯学习图论,为该问题投入数千小时,去年夏天一度以为自己解开了它。

当前提供 AI 导读,完整正文请阅读原文。

来源:Simon Willison · simonwillison.net