Quoting Jake Boggan — OpenAI 的模型据称攻克了 Barnette 猜想，一位为此投入 24 年的

• Jake Boggan 曾专攻图论，为 Barnette 猜想断续投入约 24 年，去年夏天还一度以为自己做出来了。含义：长期智力劳动的稀缺性正被模型能力重新定价。
• 他提到该问题在链接的 problem 180 处「据称已被证明」，并坦言不确定该怎么想。含义：agent 产出的数学结果仍需人类验证流程，不能直接当作定论。
• 他用「像听说前女友车祸去世」形容得知问题被解决时的遥远悲伤，并说当晚很多人情绪复杂。含义：工具链效率提升之外，开发者与研究者需要正视这类身份与动机层面的冲击。

原文：Quoting Jake Boggan · 作者 Simon Willison