这是什么

数学家 Jake Boggan 在 Barnette 猜想（图论中关于立方平面图着色的未解命题）上押了 24 年、数千小时；本周 OpenAI 释出的数学模型据称给出了证明。他本人在 Hacker News 上的反应不是『终于解开了』，而是『像听到前女友车祸去世』般的失落。我们认为，这件事真正的新闻，是 AI 开始动到『意义』这一层。

行业怎么看

支持者认为这是大模型进入严肃数学的标志事件，证明 AI 不再只会『套题型』，开始能处理开放性研究问题。反对者则指出现有数学社区对 AI 证明的接受度仍低，『跑出答案』与『被同行认可』是两回事。也有人提醒：当『谁来解』变得廉价，『为什么要解』反而更稀缺。Boggan 自己的反应说明，技术突破同时会压缩某些人长期投入的意义感，这件事会被反复拿出来讨论。

对普通人的影响

对企业 IT：『AI 能否替代专家』从技术问题升级为管理问题，不能再只算账算不准。

对个人职场：当专业能力不再稀缺，职业护城河会从『会不会』转向『信不信你』。

对消费市场：『AI 替你做完了』的产品会变多，但用户对『被替代感』的抵触也会同步出现。