Laravel 禁 issue 只收 PR 这事值得聊

上周 Laravel 宣布禁止提交 issue，只能提交 Pull Request。第一反应是这也太离谱了，用户连问题都不能报，难道人人都得读懂源码自己动手？但仔细想想，这个规定其实挺合理，甚至我觉得值得不少开源项目抄作业。

最直接的好处是垃圾 issue 会大幅减少。愿意花时间提 PR 的人，对问题本身更上心；而机器人和骚扰者只会随手丢一条 issue，根本不愿意多走一步。对维护者来说，PR 里能拿到的信息远比 issue 多，定位和解决问题的时间反而更少。有人会说这增加了普通用户的提交门槛，我不同意。现在不懂源码也能提 PR，把问题描述给 AI，让它生成补丁就行。在 AI 时代，提交 PR 的成本已经和提交 issue 差不了多少，门槛这件事正在被技术抹平。更深层的原因是开源项目资源严重不足，根本应付不了激增的 issue。过去的逻辑是鼓励用户把问题抛出来，指望维护者解决；现在更该鼓励大家一起为项目出力。这个转向我觉得是必然的，维护者的精力才是最稀缺的资源。另一条让我愣住的新闻是 Anthropic 用 Claude 完成了史上最长的数学程序。团队把怀尔斯 129 页的费马大定理证明翻译成 Lean 语言，Claude 花了 11 天，先证明超过 3 万个辅助定理，实际用到 2 万 9 千多个，消耗数十亿 Token，最终代码 1300 万行。这个翻译项目数学界多年没啃下来，结果被 AI 跑通了，代码已经挂在 GitHub 上。两件事放一起看，AI 正在同时改变开源协作和数学证明的生产方式，值得每个从业者认真想一想。