Laravel 禁 issue 只收 PR 这事值得聊

上周 Laravel 宣布禁止提交 issue，只能提交 Pull Request。第一反应是这也太离谱了，用户连问题都不能报，难道要人人读懂源码自己修？但仔细琢磨了一圈，我发现这个规定其实相当合理，甚至可能是开源维护者接下来几年绕不开的方向。

先看它解决了什么。垃圾 issue 一直是维护者的噩梦，机器人刷屏、伸手党、重复提问，把真正有价值的问题淹没掉。而愿意花时间提 PR 的人，至少对这个问题更上心，提交门槛本身就把骚扰者过滤掉了。更关键的是，PR 里带的信息量远超 issue，维护者理解问题、定位代码、合并修复的时间反而更少。有人担心这会劝退不懂源码的普通用户。放在两年前我同意，但现在真不一定。你完全可以把问题描述给 AI，让它生成一个 PR 草稿，提交 PR 的难度已经和提 issue 差不了多少。所以 Laravel 这步棋的底层逻辑是：AI 时代项目不该再鼓励用户把问题抛出来等别人解决，而该鼓励大家一起动手贡献。同一周还有一条更炸的新闻。Anthropic 用 Claude 把安德鲁·怀尔斯那 129 页的费马大定理证明，翻译成了 Lean 语言的机器可验证程序。这个翻译项目数学界搞了很多年都没完成，Claude 用了 11 天，先证明超过 3 万个辅助定理、实际用上 2 万 9 千多个，烧掉数十亿 Token，最终代码长达 1300 万行，是目前史上最长的数学程序，代码已经公开在 GitHub 上。把这两件事放一起看，我的判断是：AI 正在同时改写开源协作和数学证明的生产方式。前者降低了贡献门槛，后者把人类几十年的推理压缩成可自动验证的代码。对做跨境工具和开发者社区的人来说，值得提前想清楚——当提交 PR 和证明定理都变得廉价，真正稀缺的会是什么。