Jake Boggan 谈巴内特猜想疑被 OpenAI 证明：研究 24 年后感到失落

图论研究者 Jake Boggan 表示，自己断断续续投入 24 年与数千小时研究的巴内特猜想（Barnette's Conjecture）据称已被 openai/math 的第 180 题证明。他坦言虽然曾经非常享受解题过程，但得知难题被机器解决后产生了一种遥远的失落感，引发关于人类数学研究者面对 AI 突破时复杂情绪的讨论。