Laravel 禁 issue 只收 PR，这招能推广吗

上周 Laravel 宣布了一个挺炸裂的新规：不再接受 issue，只接受 Pull Request。第一反应是这也太离谱了，用户连问题都不能报，难道人人都得读懂源码自己修？但仔细琢磨了一下，这个决定其实相当合理，甚至我觉得值得不少开源项目抄作业。

先说最直接的好处，垃圾 issue 会大幅减少。愿意花时间提 PR 的人，至少对这个问题更上心；而那些机器人、骚扰者、随手甩一句「不能用」的人，根本不会多走一步。维护者从 PR 里拿到的信息也远比 issue 多，上下文、复现路径、甚至修复思路都摆在那，理解和解决问题的时间反而更短。有人担心这会抬高门槛，其实在 AI 时代未必。用户哪怕不懂源码，也可以把问题描述给 AI，让 AI 生成一个 PR。提 PR 和提 issue 的成本差距正在被抹平。真正的原因还是开源项目资源严重不足，issue 数量激增根本应付不过来，与其鼓励大家把问题抛出来等别人解决，不如鼓励一起动手贡献。同一周还有一条让我挺震撼的消息：Anthropic 用 Claude 完成了史上最长的数学程序，把怀尔斯 129 页的费马大定理证明翻译成了 Lean 语言。Lean 是微软研究院 2013 年推出的定理证明语言，这个翻译项目难度极大，数学界一直没啃下来，Claude 用了 11 天搞定。过程中它先证明了超过 3 万个辅助定理，实际用到 2.9 万多个，消耗数十亿 Token，最终代码长达 1300 万行，全部公布在 GitHub 上。这两件事放一起看挺有意思，一边是开源协作规则被 AI 改写，一边是 AI 开始啃人类几十年没完成的硬骨头。作为从业者，我觉得与其焦虑，不如想想怎么把 AI 塞进自己的工作流里。