Jake Boggan 谈 Barnette 猜想被解决：24 年投入后的复杂情绪

Quoting Jake Boggan

AI 导读

Jake Boggan 在 Hacker News 评论 openai/math 相关讨论时表示，自己曾长期研究 Barnette 猜想，前后投入 24 年、数千小时，去年夏天还一度以为解决了它。如今该猜想据称已在问题 180 处被证明，他形容听到消息后有种遥远的悲伤，像得知前女友突然车祸去世。

正文 · AI 翻译

2026年10月7日

很久以前我是个图论迷，甚至为了师从大师们而搬到布达佩斯住了一段时间。在那里时，我开始研究巴内特猜想，这个猜想在我接下来24年的人生中时断时续地占据着我的思绪，期间我涉足了多个不同领域。去年夏天，我甚至有那么几天以为自己真的解决了它。

但据说这里已经证明了——问题180。我不知道该怎么想。我在那个问题上花了数千小时。我真的很享受。听说它被解决了，不知怎的让我有一种遥远的悲伤，就像听说前女友突然死于车祸。我不知道，今晚可能有很多人感受着奇怪的情绪。

—— Jake Boggan，Hacker News 上关于 openai/math 的评论

来源：Simon Willison · simonwillison.net