Laravel 禁 issue 只用 PR 这事值得聊

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

最直接的好处是垃圾 issue 会大幅减少。愿意花时间开 PR 的人，对问题本身更上心，而机器人和骚扰者只会丢一堆垃圾 issue 就跑。维护者从 PR 里拿到的信息也远比 issue 多，定位和解决问题的时间反而更短。有人会说这提高了门槛，但 AI 时代其实没有。用户哪怕不懂源码，也可以把问题描述给 AI，让它生成 PR。提交 PR 和提交 issue 的难度差距正在被抹平。说到底，禁止 issue 的根本原因是开源项目资源不足，扛不住激增的 issue 量，与其鼓励大家把问题抛出来等别人解决，不如鼓励一起动手贡献。另一条我觉得更震撼的消息是，Anthropic 用 Claude 完成了史上最长的数学程序：把怀尔斯 129 页的费马大定理证明翻译成了 Lean 语言。Lean 是微软研究院 2013 年提出的定理证明语言，这个翻译项目数学界搞了很久都没完成，Claude 用了 11 天。在给出最终结果前，它先证明了超过 3 万个辅助定理，实际用上 2 万 9 千多个，消耗数十亿 Token，最终代码长达 1300 万行，全部公布在 GitHub 上。这两件事放一起看，我的判断是：AI 正在同时改变开源协作的门槛和数学研究的边界，前者靠流程重构，后者靠算力堆叠，留给人类的位置更多是提问题和做判断。