Jake Boggan 谈 Barnette's Conjecture 被 OpenAI 证明后的复杂心情

Hacker News 用户 Jake Boggan 表示，在投入数千小时研究 Barnette's Conjecture 24 年后，得知该猜想已被 OpenAI 证明（问题 180），他感到一种遥远的悲伤。Boggan 曾为此移居布达佩斯并长期关注此图论难题，这一消息引发了社区中类似“前女友突然离世”般的复杂情绪共鸣。