原题：Quoting Jake Boggan
Hacker News 用户 Jake Boggan 在评论 openai/math 相关讨论时称，Barnette 猜想「据称已在此处被证明——问题 180」。他曾长期研究该猜想，前后投入约 24 年、数千小时，去年夏天还一度以为自己做出来了。他表示听到被解决的消息感到一种遥远的难过。原文为引语摘录，未提供证明细节与验证情况。
推荐理由了解 AI 参与数学证明的一线讨论，以及研究者对「被 AI 抢先」的真实情绪
2026 年 10 月 7 日
很久以前我是个图论迷，甚至一度搬到布达佩斯，在那些大师门下学习。在那里的时候，我开始研究 Barnette 猜想，这个猜想在我此后 24 年的人生中时断时续地占据着我的思绪，其间我在许多不同领域工作过。去年夏天，我甚至有那么几天以为自己真的解决了它。
但据说它在这里已经被证明了——问题 180。我不知道该怎么想。我在那个问题上花了数千个小时。我真的很享受。听说它被解决了，不知怎的让我有一种遥远的悲伤，就像听说前女友突然死于车祸。我不知道，今晚大概有很多人怀着奇怪的情绪。
—Jake Boggan，Hacker News 上关于openai/math 的评论
本文内容转载自 Simon Willison，由 AI（deepseek-chat）翻译整理，版权归原作者所有。
阅读原文 ↗ https://simonwillison.net/2026/Oct/7/jake-bogganSimon Willison · 10/07 12:47 · 已取全文
标题与摘要由 AI（deepseek-chat）改写，可能有误，以原文为准。