陶哲轩说了个很形象的词：AI 正在把美丽的数学变成"有毒废料" 产定理的速度，超过了数学家验证的速度 关键不在写得快，而在依赖关系追踪 一个证明引用了十个引… · @BlockInsight214 · TwKit

@BlockInsight214

陶哲轩说了个很形象的词：AI 正在把美丽的数学变成"有毒废料" 产定理的速度，超过了数学家验证的速度 关键不在写得快，而在依赖关系追踪 一个证明引用了十个引理，哪个被污染了，没人说得清 写得越多，验证的债越重

曝光 148 · 评论 3 · 点赞 1 · 书签 0