Laravel 禁 issue 只用 PR 这事挺妙

上周 Laravel 宣布禁止提交 issue，只能提 PR，我第一反应是这也太离谱了。但仔细琢磨了一下，这招其实挺聪明，甚至值得不少开源项目抄作业。

最直接的好处是垃圾 issue 会大幅减少。愿意花时间写 PR 的人，至少对这个问题更上心，那些机器人和随手丢问题的骚扰者根本不会多走这一步。对维护者来说，从 PR 里拿到的信息远多于 issue，定位和解决问题的时间成本反而更低。有人担心这会抬高门槛，其实在 AI 时代未必。用户哪怕不懂源码，也可以把问题描述给 AI，让它生成一个 PR。提交 PR 和提交 issue 的难度差距，正在被工具迅速抹平。更深层的原因是开源项目资源本来就紧张，根本应付不了激增的 issue。与其鼓励大家把问题抛出来等别人解决，不如鼓励一起动手贡献。这个转向我觉得是必然的。另一条让我愣住的消息是，Anthropic 用 Claude 完成了史上最长的数学程序，把怀尔斯证明费马大定理的 129 页论文翻译成了 Lean 语言。整个过程用了 11 天，先证了 3 万多个辅助定理，用上 2 万 9 千多个，最终代码 1300 万行。这两件事放一起看挺有意思：一边是开源社区在收紧入口、逼着人动手，一边是 AI 把动手的门槛砸到地板。以后提 PR 可能真比提 issue 还快，维护者要头疼的或许不是没人贡献，而是怎么审得过来。