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

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

最直接的好处是垃圾 issue 会大幅减少。愿意花时间开 PR 的人，对这个问题本身就更上心，而机器人和骚扰者只会随手丢一堆垃圾 issue，根本懒得为项目多走一步。对维护者来说也更省事，PR 里能拿到的信息量远多于 issue，定位和解决问题投入的时间反而更少。有人担心这会抬高普通用户的参与门槛，但我觉得在 AI 时代这个顾虑基本不成立。不懂源码也没关系，把问题描述给 AI，让它生成一个 PR 就行，提交 PR 和提交 issue 的难度已经差不多了。说到底，禁 issue 的根本原因是开源项目资源严重不足，根本应付不了激增的 issue 量。另一条我觉得更值得关注的消息是，Anthropic 用 Claude 完成了史上最长的数学程序，把怀尔斯那篇 129 页的费马大定理证明翻译成了 Lean 语言。这个从人工证明到机器证明的翻译项目数学界搞了很多年都没搞定，Claude 用了 11 天完成，过程中先证明了超过 3 万个辅助定理，最终代码长达 1300 万行，全部开源在 GitHub 上。把这两件事放一起看，我的判断是：AI 正在同时改写开源协作和数学研究的分工方式。一边是项目不再鼓励用户把问题抛出来等别人解决，而是鼓励大家一起贡献；另一边是过去需要顶尖团队耗上数年的工作，现在可能被一个模型在两周内啃下来。对做技术的人来说，早点适应这种「先动手再提问」的节奏，可能比争论规则合不合理更有价值。