科技爱好者周刊第412期：Laravel禁止issue与Claude证明费马大定理

PHP框架Laravel宣布禁止提交issue，仅接受Pull Request以过滤垃圾信息并降低维护成本。Anthropic利用Claude AI耗时11天将安德鲁·怀尔斯的费马大定理人工证明翻译为Lean语言程序，生成超1300万行代码，创下最长数学程序纪录。