Jake Boggan 谈 Barnette 猜想被 AI 解决后的复杂感受

AI 摘要

Simon Willison 的博客引用了 Jake Boggan 在 Hacker News 上关于 openai/math 的评论。Boggan 表示自己曾长期研究 Barnette 猜想，投入数千小时，如今得知该问题（编号 180）据称已被解决，感到一种遥远的悲伤。该评论反映了 AI 数学工具进展对长期从事相关研究的数学工作者带来的情感冲击。

正文节选

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 r

发布时间：2026-10-07 12:47

抓取时间：2026-10-07 13:01

来源机构：Simon Willison