这里记录每周值得分享的科技内容，周五发布。
本杂志开源，欢迎投稿。另有《谁在招人》服务，发布程序员招聘信息。合作请邮件联系（[email protected]）。
封面
上海前滩太古里举办的"英雄联盟15周年"展览。（via）
禁止 issue，只用 PR
上周，PHP 框架 Laravel 宣布了一个新规定：禁止提交 issue，只能提交 Pull Request。
乍一看，这个规定太荒谬了。用户不能提交 issue，怎么报告问题呢？难道你要每个人都读懂源码，自己动手解决问题！
但是仔细想想，你会发现这个措施很合理，甚至值得推广。
（1）没有了垃圾 issue。
如果一个用户愿意花时间创建 PR，说明他对这个问题更上心。那些机器人和骚扰者，只会提交垃圾 issue，根本不愿意多花时间为项目做贡献。
（2）对维护者更方便。
项目维护者从 PR 里面得到的信息，远远多于 issue，更利于理解和解决问题，投入的时间也更少。
（3）没有增加用户的提交难度。
用户即使不懂源码，也能提交 PR。
他可以向 AI 描述问题，让 AI 生成 PR。在 AI 时代，提交 PR 几乎和提交 issue 一样简单。
（4）禁止 issue 的根本原因是，开源项目资源不足，应付不了激增的 issue。
AI 时代，项目不再应鼓励用户把问题抛出来指望别人来解决，而应鼓励大家一起为项目贡献力量。
史上最长的数学程序
上周，Anthropic 公司使用 Claude AI，完成了一个史上最长的数学程序：程序化证明了费马大定理。
17世纪，法国数学家费马提出一个著名猜想：大于2的整数，不可能满足下面的等式。
后世的数学家发现，这个猜想难得超乎想象，根本无法证明。直到三百多年后的1995年，英国数学家安德鲁·怀尔斯才最终证明了费马大定理是正确的。