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