Simon Willison·· 7 小时前AI 评分
Simon Willison 引述 Jake Boggan:Barnette 猜想被证明,我花了 24 年研究它
Jake Boggan 在 Hacker News 上评论称,他研究了 24 年的 Barnette 猜想据称已被证明(problem 180),令他心情复杂。他曾在布达佩斯学习图论,为该问题投入数千小时,去年夏天一度以为自己解开了它。
当前提供 AI 导读,完整正文请阅读原文。
来源:Simon Willison · simonwillison.net