陶哲轩发表《数学2.0》演讲,称AI让数学进入证明过剩时代
菲尔兹奖得主陶哲轩10月9日在加州理工发表《数学2.0》演讲,称AI已让数学从证明稀缺进入证明过剩时代,数学工作转向人与AI合作增强人类理解。
这场演讲的实质是宣布AI产出能力已越过人类消化能力,稀缺资源从给出答案转向理解和审核答案。
- 影响当AI能批量产出代码、方案和证明,瓶颈从生成转向人类可审核;缺少解释环节的产出会推高验证成本,在高风险决策中放大误用风险;组织内人的价值重心相应从生成转向审核与解读。
- 参考可考虑盘点企业内由AI生成且直接进入交付或决策的内容,标出无人复核的环节;值得对看不懂机制的关键产出设置人工解读或专家验证门槛,再决定是否采用。