跳到正文
AGI Hunt· alexbilz·· 3 小时前AI 评分19

William Thurston 1994 年旧文再被引用:定理署名文化或阻碍数学进步

引用 Thurston 1994 年旧文:定理署名文化或阻碍数学进步

AI 导读

William Thurston 1994 年论文《On Proof and Progress in Mathematics》被引用,其观点认为数学界对定理署名的强烈集体重视会负面影响数学进步。转发的推文以调侃方式提出证明所有定理并自动化定理证明,暗指 AI 自动证明数学定理的兴起。

来源:AGI Hunt · agihunt.info