Laravel禁issue只用PR，Claude证费马大定理

今天刷到两条挺有意思的消息，一条关于开源协作，一条关于AI做数学。先说Laravel的新规：以后项目只收Pull Request，不再接受issue。乍一听很离谱，用户连问题都不能报了？但仔细想想，这招在AI时代反而合理。

愿意花时间提PR的人，对问题更上心，机器人骚扰者基本只会刷垃圾issue。维护者从PR里拿到的信息也比issue多得多，理解问题、定位修复都更快。更关键的是，现在不懂源码也能提PR——把问题描述给AI，让它生成补丁就行，门槛几乎和提issue一样低。说到底，开源项目资源长期不足，应付不了激增的issue，与其鼓励用户把问题抛出来等别人解决，不如鼓励大家一起动手贡献。另一条是Anthropic用Claude完成了史上最长的数学程序：把怀尔斯129页的费马大定理证明翻译成Lean语言。这个翻译项目数学界搞了很多年都没完成，Claude用了11天，先证了3万多个辅助定理，实际用到2万9千多个，烧掉数十亿Token，最终代码1300万行。两件事放一起看，逻辑其实相通。AI正在把「提问题」和「解决问题」之间的成本差压到极低。以前开源社区靠issue收集问题、靠人力筛选，现在可以直接要求带方案来。以前数学证明的机器化翻译要顶尖团队耗几年，现在模型能啃下来。我的判断是，Laravel这个规定会引来争议，但很可能被更多项目跟进，尤其是维护者疲惫的中小型开源项目。而Claude这次证明的意义不在于费马大定理本身，而在于展示了一种新工作流：AI做苦力，人类做判断。对跨境技术团队来说，这两条都值得放进今年的工具与流程讨论里。