数学家谈 AI 冲击:证明数小时出炉却无人能验证

博弈论研究者 Valerio Capraro 接受意大利《晚邮报》专访,谈及 AI 对数学乃至整个社会的冲击。他指出 AI 如今能在数小时内产出大量演示与证明,速度远超人类,但由此产生身份危机:没有人能真正验证这些证明的真伪。他认为这一局面不仅动摇数学家的职业认同,也折射出 AI 对整个社会带来的深层挑战。

2026-11-11 ~ 2026-11-11 · 2 条相关

另有 1 条近重复转述:ValerioCapraro