AI 行业资讯 - SAIR

陶哲轩在SAIR演讲中呼吁AI公司放缓数学研究速度

陶哲轩在SAIR演讲中公开喊话模型公司，称AI公司无休止加速却对后果一无所知，必须慢下来。他提出数学证明生命周期五环节，指出AI仅在生成解答和Lean形式化验证上加速，理解、消化、写教科书环节几乎为零，造成Proof Indigestion（证明消化不良），并警告数学家创造力丧失与数据污染两大隐患。