奥尔特曼谈数学家面对 AI 的心态转变：从“我们完蛋了”到接受现实

**报道：** 在近期关于 AI 与科学研究的讨论中，OpenAI CEO 山姆·奥尔特曼提到，数学家对 AI 的态度正从最初的“我们完蛋了”转向接受现实。早期，不少数学家担心 AI 会迅速取代证明、猜想与论文生产；但随着大模型和专用数学系统在辅助证明、模式发现及形式化验证上取得进展，学界开始意识到，AI 更像研究范式中的新变量，而非简单替代者。

**分析：** 这种转变有其逻辑。数学规则清晰、证明可形式化，因而容易被 AI 切入；但数学也依赖定义问题、选择方向、构造概念和审美判断，这些仍属人类优势。当前 AI 擅长在既有框架内搜索、验证和生成候选路径，却难以