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

科技爱好者周刊第 412 期汇总了开源项目、AI、硬件、教程与工具等科技内容。文中重点介绍 Laravel 禁止提交 issue、只允许提交 Pull Request 的规定，以及 Claude AI 用 11 天将费马大定理证明转换为 Lean 程序的研究案例。