AI「生肉证明」堆爆GitHub，陶哲轩重磅发声：只会解题没用了

陶哲轩提出数学正从证明稀缺时代进入证明过剩时代，AI大幅加速证明生成与验证，但人类对证明的理解（消化）严重滞后，导致大量‘生肉证明’堆积、抑制学术进展；他强调未来数学家的核心竞争力在于问题选择、工作流设计及证明消化能力，学术评价体系亟需重构。