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

Hacker News 用户 Jake Boggan 表示，在投入数千小时研究后，得知 Barnette's Conjecture（问题 180）已被 OpenAI/math 证明，他感到一种遥远的悲伤。这位曾为研究图论移居布达佩斯的学者形容这种情绪如同听到前女友突然离世，并推测许多同行今晚正经历类似的复杂情感。