卡耐基梅隆博士生两年研究被AI用5天抢发，这不是段子。菲尔兹奖得主实测显示，大模型已能独立解决加法数论难题并产出博士论文级成果，且通过Lean等形式化验证确保严格性。商业公司用远超学术界的算力进行降维打击，传统数学研究的节奏和评价体系正在失效。这迫使学术界必须重新思考：如何与AI共存，而非对抗其不可逆的效率。 数学博士生2年研究被AI抢发