旧文再引：定理署名或妨碍数学进步

William Thurston 1994年论文《On Proof and Progress in Mathematics》近日再次被引用，他称数学界对定理署名的强烈集体重视可能负面影响数学进步。这并非数学界已经达成的结论，而是旧文中提出的批评。 相关转发以调侃方式提出“证明所有定理”并实现定理证明自动化，借此影射AI自动证明数学定理的兴起；该内容表达观点，并未证明AI已能完成这一目标。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。