文章资料

数学 2.0时代:证明过剩,判断力稀缺

图灵人工智能

从「能不能证出来」,搬到「值不值得读」。 从「谁先证明」,搬到「谁能说清楚为什么它必须如此」。这件事真正说的不是 AI 有多强,而是——当证明可以无限印刷,唯一还硬的通货,是有人真的读懂了它。


号外保存文章的公开索引信息,正文版权归原作者及发布公众号所有。