Hacker News 用户 Jake Boggan：困扰他 24 年的 Barnette 猜想“被证明了”——他花几千小时研究的问题疑似被 openai/math 解决，“像听到前女友车祸身亡一样难过”
Quoting Jake Boggan
评分 67
导读
Jake Boggan 在 openai/math 相关讨论下留言：他早年痴迷图论、为此移居布达佩斯，随后断断续续用 24 年研究 Barnette's Conjecture，去年夏天还曾以为几天内解出来了；如今 issue 列表里它疑似已被证明（problem 180）。他说自己不知该作何感想——花了数千小时、很享受过程，但听说它被解决，“有一种遥远的难过，像听说前女友突然死于车祸”，今晚大概有很多人和他怀着同样古怪的情绪。
主体与标签
OpenAI#观点/评论#论文/研究
正文
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
Tags: openai , mathematics , deep-blue , llms , ai , generative-ai