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

PHP 框架 Laravel 宣布禁止提交 issue 并仅允许提交 Pull Request，以应对维护资源不足并阻断垃圾内容。Anthropic 旗下 Claude AI 历时 11 天消耗数十亿 token，生成 1300 万行 Lean 语言代码程序化验证了费马大定理。此外，周刊还汇总了特斯拉对外出售 Cybercab 无人驾驶出租车及多款开源工具动态。