Laravel 禁 issue 只收 PR，AI 时代开源协作要变天

上周 Laravel 宣布禁止提交 issue，只能提 PR，我第一反应是这也太离谱了。用户连问题都不能报告，难道要每个人都读懂源码自己动手修？但仔细琢磨了一下，这个规定其实相当合理，甚至我觉得值得不少开源项目跟进。

先说最直接的好处，垃圾 issue 会大幅减少。愿意花时间创建 PR 的人，对问题本身更上心，那些机器人账号和随手骚扰的人，根本不会多花这个力气。对维护者来说，从 PR 里拿到的信息也远比 issue 丰富，理解问题和定位原因都更省时间，投入的精力反而更少。有人担心这会抬高用户门槛，但我觉得在 AI 时代这个顾虑已经不成立了。用户即使完全不懂源码，也可以向 AI 描述问题，让 AI 生成一个 PR，提交 PR 几乎和提交 issue 一样简单。说到底，禁止 issue 的根本原因是开源项目资源长期不足，根本应付不了激增的 issue 数量。同一周还有一条消息让我挺震撼，Anthropic 用 Claude 完成了史上最长的数学程序，把怀尔斯证明费马大定理的 129 页论文翻译成了 Lean 语言。Lean 是微软研究院 2013 年提出的定理证明语言，这个翻译项目数学界一直想做但迟迟没完成。Claude 用了 11 天，先证明超过 3 万个辅助定理，最终代码长达 1300 万行，消耗了数十亿 Token，代码已经公开在 GitHub 上。把这两件事放在一起看，我的判断是开源协作的底层逻辑正在被重写。过去项目鼓励用户把问题抛出来，指望维护者解决，现在更该鼓励大家一起贡献。AI 把提交 PR 和形式化证明的门槛都拉低了，维护者要做的不是继续当客服，而是设计好让贡献顺畅流入的机制。Laravel 这个决定，可能比我们想的更有前瞻性。