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

Hacker News 用户 Jake Boggan 表示，困扰他24年的 Barnette's Conjecture（问题180）已被 OpenAI Math 证明。尽管曾投入数千小时研究并享受其中，得知该猜想解决后他仍感到一种遥远的悲伤与失落。