引述 Jake Boggan：Barnette's Conjecture 据称在 problem 180 被证明

7th October 2026

很久以前我是个图论狂热者，甚至搬到布达佩斯住了一阵子，以便在大师们中间学习。在那里，我开始研究 Barnette 猜想，它在我此后人生的 24 年里断断续续地占据着我的思绪，其间我在许多不同的领域工作。去年夏天，我甚至有几天以为自己真的解决了它。

但据说它在这里被证明了——问题 180。我不知道究竟该怎么想。我在那个问题上花了数千小时。我真的很享受。听说它被解决了，不知怎的让我感到一种遥远的悲伤，就像听说前女友突然在车祸中去世。我不知道，今晚大概有很多人心里有些古怪的情绪。

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