Laravel 不再接受 issue，只收 PR；Claude 用 1300 万行代码跑通了费马大定理的机器证明

科技爱好者周刊（第 412 期）：禁止 issue，只用 PR

Laravel 的新规听起来离谱，但逻辑很直接：AI 让提 PR 和提 issue 一样简单，还能自动过滤掉垃圾 issue，维护者从 PR 里拿到的信息也比 issue 多。另一边，Anthropic 让 Claude 把怀尔斯证明费马大定理的 129 页论文，翻译成了 Lean 语言程序。Claude 先证了 3 万多个辅助定理，用了其中 2.9 ...

推荐理由：这期周刊讲了两个挺有意思的实践。Laravel 把 issue 关了只留 PR，逻辑是现在 AI 帮忙写代码和修 bug 的门槛很低，提 PR 比单纯描述问题对维护者更有用，还能自动筛掉大量说不清楚的 issue。Anthropic 用 Claude 把怀尔斯证明费马大定理的论文转成了 Lean 程序，模型先证了 3 万多个辅助定理，最终用了其中 2.9 万个，相当于让 AI 把人类最复杂的数学证明之一做了一次可机器验证的翻译。两个案例都指向同一个趋势：AI 正在改变开源协作和数学验证这类高门槛工作的具体流程，不是概念炒作，是已经跑通的实操。