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

Anthropic 的 Claude AI 耗时 11 天完成史上最长的数学程序，将费马大定理证明翻译为 Lean 语言代码，最终代码长达 1300 万行并消耗数十亿 Token。PHP 框架 Laravel 宣布新规禁止提交 issue，只接受 Pull Request，旨在减少垃圾信息并鼓励用户利用 AI 直接贡献代码。