Laravel 禁 issue 只用 PR 这事值得聊

上周 Laravel 宣布禁止提交 issue，只能提 PR。我第一反应是这也太离谱了，普通用户连源码都不一定看得懂，怎么提 PR？但仔细琢磨了一下，这个决定其实相当合理，甚至我觉得值得不少开源项目跟进。

先说最直接的收益，垃圾 issue 会大幅减少。愿意花时间写 PR 的人，至少对这个问题更上心，也愿意多走一步。那些机器人、骚扰者、随手丢一句「用不了」的人，根本不会去开 PR。维护者从 PR 里拿到的信息量，也远大于一条模糊的 issue，定位和修复都更快。有人会说这不是把门槛抬高了吗？放在两年前确实如此，但现在情况变了。不懂源码的用户完全可以向 AI 描述问题，让 AI 生成一个 PR。在 AI 辅助下，提 PR 和提 issue 的难度差距已经很小了。禁止 issue 的根本原因，其实是开源项目资源长期不足，根本应付不了激增的 issue 数量。与其鼓励大家把问题抛出来等别人解决，不如鼓励一起动手贡献。另一条我觉得更震撼的消息是，Anthropic 用 Claude 完成了史上最长的数学程序。研究团队把安德鲁·怀尔斯那 129 页的费马大定理证明，翻译成了 Lean 语言的机器可验证代码。Lean 是微软研究院 2013 年推出的定理证明语言，这个翻译项目数学界一直想做，但工作量太大迟迟没人完成。Claude 用了 11 天，先证明超过 3 万个辅助定理，实际用到其中 2 万 9 千多个，消耗数十亿 Token，最终代码长达 1300 万行，全部公布在 GitHub 上。两件事放在一起看，我的判断是：AI 正在同时改变开源协作和数学研究的成本结构。前者让贡献门槛变低，后者让人类团队不敢接的苦活变得可行。对做跨境工具和开发者社区的人来说，早点适应这种协作方式，可能比争论规则合不合理更重要。