陶哲軒談AI數學危機

據量子位報導，陶哲軒在 ICM 演講中提出條件性分析：若 AI 很快能以合理成本完成大量研究級數學任務，數學可能從「證明稀缺」轉向「證明過剩」。他援引 First Proof 評測，指出 10 道新研究題中有 7 道獲評為可發表品質，但也提醒多數 AI 數學能力證據缺乏受控條件。面對生成、驗證、傳達、共同體消化與正典化之間的失衡，他主張揭露 AI 使用，並提高人類理解、審查及整理成果的價值。