陶哲轩：AI 不是抢数学家蛋糕，而是把蛋糕做大

Fields 奖得主陶哲轩在 SAIR 基金会演讲中揭示：让 50 个人三个月解决 2200 万道数学题的秘密武器不是 AI，而是形式验证。数学这个最保守的学科，正在被新技术撬动工作方式。