陶哲轩警告：人类把思考交给AI 危险可能很快到来

陶哲轩在Science x AI Summit演讲中警告，人类将思考委托给AI可能导致危险后果，尤其在现实世界应用中AI方案可能偏离真实需求。他指出AI生成的数学证明虽可验证，但现实领域如电网、航空、药物研发等缺乏形式化工具，风险更高。他主张推动“Math 2.0”时代，让AI增强人类对问题的理解与模型判断能力。