Quoting Jake Boggan

用户 Jake Boggan 在 Hacker News 评论中讲述自己研究 Barnette 猜想 24 年的经历，去年夏天曾以为自己解决了该问题，现在得知 openai/math 第 180 题据称给出了该猜想证明，心情复杂，感慨既释然又失落。