阮一峰科技周刊· 阮一峰·· 2026-09-11AI 评分32
Laravel 禁止 issue，仅接受 PR；Claude AI 完成费马大定理机器证明
科技爱好者周刊（第 412 期）：禁止 issue，只用 PR
AI 导读
Laravel 宣布禁止用户提交 issue，仅接受 Pull Request；Anthropic 公司的 Claude AI 完成费马大定理的机器证明，将安德鲁·怀尔斯的证明翻译成 Lean 语言的程序。
来源：阮一峰科技周刊 · ruanyifeng.com
Laravel 禁止 issue，仅接受 PR；Claude AI 完成费马大定理机器证明