关于人类如何在数学与软件领域跟上 AI 进展的思考

随着 AI 在数学证明和软件开发中快速产出正确但难以消化的成果，人类正面临生成速度超过理解能力的认知负债。作者以数学界抢发 Lean 证明的压力和软件工程中失去架构心智模型为例，指出单纯追求速度会弱化人类对系统的掌控与责任归属。文章建议模型训练应兼顾可读性与可解释性，并通过高层抽象约束和奖励知识整合的制度设计，确保人类保留参与和决策能力。