禁 issue 只收 PR 合理吗

Laravel 上周宣布禁止提交 issue，只能提 PR。第一反应是离谱，但细想其实挺合理。垃圾 issue 和机器人骚扰一直是开源维护者的噩梦，而愿意花时间写 PR 的人，至少对问题更上心。更关键的是 AI 时代提 PR 的门槛被大幅拉低，不懂源码也能让 AI 生成补丁。这背后是开源资源严重不足的现实，与其鼓励用户把问题抛出来等别人解决，不如推动大家一起动手。我觉得这个方向值得更多项目试试，但前提是社区得有基本的 PR 审查能力，否则维护者可能被低质量 PR 淹没。

另一件事更震撼：Anthropic 用 Claude 花了 11 天，把怀尔斯 129 页的费马大定理证明翻译成了 Lean 语言，过程中先证了 3 万多个辅助定理，最终代码 1300 万行，号称史上最长数学程序。这个项目人类团队迟迟没完成，AI 却啃下来了。两件事放一起看，AI 正在同时改变开源协作和数学研究的底层逻辑：一边降低贡献门槛，一边把最难的智力劳动自动化。作为从业者，我既兴奋又有点不安，工具越强，人的判断力反而越值钱。