陶哲轩认为即使证明正确，缺少可理解的研究过程也可能扰乱领域积累与人才协作。
推荐理由：争议焦点从证明正确性转向知识生产外部性：若AI直接交付难以消化的终局答案，可能抢先封题却不沉淀方法，使研究共同体短期失序。
阅读原文