引用 Jake Boggan 的话

# Jake Boggan 的一段话 来源：https://simonwillison.net/2026/Oct/7/jake-boggan/ 2026年10月7日 > 我很久以前就是一个图论狂热爱好者，甚至为了在名家身边学习而搬到布达佩斯住了一段时间。在那里，我开始研究 Barnette 猜想，此后它占据了我此后 24 年的人生，断断续续，其间我从事了许多不同的领域。去年夏天，我甚至有几天真的以为自己解开了它。但据说它已被证明——问题 180（https://github.com/openai/math/blob/main/lean/docs/180.md）。我不太确定该怎么想。我在那个问题上花了几千个小时。我真的很享受这个过程。听说它被以某种方式解决了，让我感到一种遥远的悲伤，就像听说前女友突然死于车祸一样。我不知道，今晚大概有很多人心里都有着异样的情绪。 —Jake Boggan（https://news.ycombinator.com/item?id=49984923#49987367），Hacker News 上关于 openai/math（https://github.com/openai/math）的评论