Simon Willison 引用数学研究者谈 OpenAI 解决巴内特猜想的复杂感受

Simon Willison 引用了数学研究者 Jake Boggan 在 Hacker News 上针对 openai/math 的评论。Boggan 表示自己断断续续研究巴内特猜想长达 24 年并投入数千小时，得知该问题（problem 180）被证明后产生了复杂而失落的情绪。这一反应展现了 AI 攻克长期未决难题对人类专业研究者带来的情感冲击。