STOC悄悄改了规矩，AI时代的理论CS还要不要讲"人写论文"了？

STOC悄悄改了规矩——2026年的会议开始直面一个尴尬事实：AI正在重写理论计算机科学的投稿方式。当大模型能流畅生成证明草图、自动跑实验、甚至写出像模像样的论文段落时，审稿人和程序委员会发现，他们过去那些基于"人类写作习惯"的假设全部失效了。我注意到新规则的核心并非全面禁止AI辅助，而是试图重新定义"原创性"的边界——这恰恰是最难的一条线。理论上，一条优雅的归纳证明和一段由AI生成的等价论证，在数学上毫无区别；但学界对"谁应该署名"这件事，至今没有共识。我的判断是：STOC这次的试探，与其说是规则更新，不如说是一场关于"什么才算人类智慧"的公开实验。理论CS的同行们显然意识到了问题，但答案远未浮出水面。

原文：The New STOC Rules for the AI Era · 来源：Hacker News