Jake Boggan 谈 Barnette 猜想被 AI 解决后的复杂情绪

Quoting Jake Boggan

AI 导读

曾研究 Barnette 猜想长达 24 年的 Jake Boggan 在 Hacker News 评论称，得知该猜想已被解决（问题 180）让他"有种遥远的悲伤"。他为此投入了数千小时，去年夏天还一度以为是自己解出了它。

正文

7th October 2026

I was a graph theory junkie long ago and even moved to Budapest for awhile to study among the greats. While I was there I started working on Barnette's Conjecture which came to occupy my thoughts over the next 24 years of my life, on and off as I worked in many different fields. Last summer I even thought for a few days that I had actually solved it.

But it's supposedly proven here - problem 180. I don't know what to think exactly. I spent thousands of hours on that problem. I really enjoyed it. Hearing that it is solved somehow makes me sad in a far-off way, like hearing an ex-girlfriend died suddenly in a car crash. I don't know, there's probably a lot of people feeling odd emotions tonight.

— Jake Boggan, Hacker News comment on openai/math