🏷️ AI数学

AI生成证明爆发，陶哲轩警告：「证明即一切」的时代正在落幕

数学家陶哲轩警告AI正让数学进入「证明过剩」时代。AI生成证明速度远超人类消化速度，大量「生肉证明」堆积GitHub。他直言：只会解题没用，未来最有价值的是验证和消化证明。