跳到正文
原文
Simon Willison·· 4 小时前AI 评分22

引用 Jake Boggan:Barnette 猜想据称被证明

Quoting Jake Boggan

AI 导读

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

来源:Simon Willison · simonwillison.net