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

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

- 来源：阮一峰的网络日志
- 发布时间：2026-09-11T00:11:50.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/56440
- 原文：http://www.ruanyifeng.com/blog/2026/09/weekly-issue-412.html

## 摘要

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 正在改变开源协作和数学验证这类高门槛工作的具体流程，不是概念炒作，是已经跑通的实操。

## 锐评

这条规定初看像在赶客，但逻辑站得住脚。核心就一句话：AI 把提 PR 的门槛打下来了。以前让用户改代码交 PR 是强人所难，现在他只需要把问题描述给 AI，AI 就能生成一个像样的 PR。对维护者来说，PR 里自带复现步骤和可能的修复方向，比一句“报错了”的 issue 信息量大得多，处理成本更低。而且这招天然能挡掉那些随手扔垃圾 issue 的骚扰者，因为他们连多花一分钟让 AI 生成 PR 都不愿意。

当然，这个逻辑完全成立的前提是 AI 生成的 PR 质量得靠谱，正文没提他们怎么审核这些 AI 代码，如果大量低质 AI 生成的 PR 涌进来，维护者可能只是从审 issue 变成了审垃圾代码。另外，这个做法目前只适合 Laravel 这种技术型项目，普通用户连“让 AI 生成 PR”这句话都听不懂的产品，肯定不能这么玩。