OpenAI 今年夏天扔出的不是论文，是两颗炸弹。5 月，其内部模型为埃尔德什 1946 年提出的“单位距离”问题找到了反例；8 月，未发布的 Astra 模型一口气解决 3 个埃尔德什问题，累计 10 项数学进展。人们忙着惊叹 AI 的证明能力，却忽略了一件更意味深长的事——这些成果的真正推手，是一群在传统学术圈外游走的业余爱好者。他们不靠终身教职，靠的是与模型对话的直觉。
过去，埃尔德什问题像一座座孤峰，只有顶尖攀登者才敢尝试。每破解一道，论文署名栏里必定是数学家的名字。但 AI 把门槛踩碎了。在 Bloom 这样的协作网站上，任何人只要善于向模型抛出正确的提示、能嗅出反例的味道，就有机会触摸历史性证明。这不是“AI 代替数学家”的老调重弹，而是数学研究参与者角色的彻底重新分配——专业训练不再是唯一入场券，与模型共谋的嗅觉成了新筹码。一位匿名用户通过微调解法逼出反例，数学家事后才加入整理和撰写，这种次序在五年前不可想象。
当然，别急着高呼民主化。这波浪潮背后站着一个不那么开放的幽灵：Astra 模型尚未公布，OpenAI 控制着最强数学大脑的访问权。当业余爱好者成为前线侦察兵，企业巨头掌管后方重炮，数学发现的链条就嵌入了新的权力结构。埃尔德什本人一生追求开放协作，如今他留下的问题正被一种他未必乐见的模式逐一击破。但有一点可以肯定：数学界的守门人逻辑已经裂开了一道口子，而且没人能把它重新合上。
