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

这里记录每周值得分享的科技内容，周五发布。 本杂志 开源 ，欢迎 投稿 。另有 《谁在招人》 服务，发布程序员招聘信息。合作请 邮件联系 （ [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年，英国数学家安德鲁·怀尔斯才最终证明了费马大定理是正确的。 安德鲁·怀尔斯的证明一共有129页，即使是专业的数学家也要花几个月才能读懂。 自从这个证明提出后，数学界一直致力于将它翻译成计算机语言，实现机器证明，从而可以自动化验证推理过程。 这个从人工证明到机器证明的翻译项目，也是超难，工作量超大，迟迟没有完成。直到上周，一个研究团队宣布， Claude AI 用了11天终于完成了，将安德鲁·怀尔斯的证明翻译成了 Lean 语言的程序。 Lean 语言是微软研究院 2013年提出的一种专门用于数学定理证明的编程语言。 研究人员本来只是想试一下 Claude AI 的数学研究能力，没想到它真的完成了这个超难的、无人完成的项目。 在证明最终结果前，Claude 先证明了超过3万个辅助定理，用到了其中2万9千多个，消耗了数十亿的 Token，最终代码长达1300万行。 这是有史以来最长的数学程序，不敢想象如果让人类的一个数学家团队来写要多久？所有代码现在就公布在 GitHub 上面。 这件事情的意义在于，现在有大量的数学证明，无法验证是否正确，即使是数学家也要花很多时间才能看懂。现在，事实证明，AI 可以用来验证这些证明是否正确。 最后，这里有一篇 安德鲁·怀尔斯专访 ，他讲述自己的人生故事，推荐给大家。 采访者问他："你为了证明费马大定理，苦苦探索了这么多年。这段旅程现在结束了，你想必会有点伤感吧？" 安德鲁回答说，就像打完一场大战，感觉解脱了。 "确实有些伤感，但同时也有一种巨大的成就感，还感到终于自由了。我曾如此痴迷于这个问题，无时无刻不在思考它----早上醒来，晚上入睡----这种情况持续了八年。长时间思考一件事，确实很不容易。这段特殊的历程现在终于结束了，我的内心终于平静下来了。" 科技动态 1、 特斯拉出售 Cyber​​cab 特斯拉在美国推出 Cybercab 出租车。根据马斯克的说法，特斯拉将来的主营业务，不再是生产汽车，而是经营无人驾驶出租车。 本周，特斯拉又宣布，这些出租车是对外出售的。 你购买无人驾驶出租车，不是为了自己乘坐，而是为了投资。每次载客收入，你和特斯拉对半分。 由于这些车辆24小时运营，马斯克一直说，只要购买了它们，当你睡觉的时候，它们就会为你挣钱。 问题是，你购买了这辆车，就需要承担它的折旧和贬值，还需要另外购买15000美元的自动驾驶功能包。很难想象，这种全天运营的车辆，能支撑几年。 特斯拉把车卖给你，就不再拥有车辆硬件，变成了运营你的车辆，从重资产公司变成轻资产公司。在你睡觉的时候，你的车还能帮它挣钱。 2、 戴森电动牙刷 戴森公司，就是生产吸尘器和电吹风的那家公司，推出了电动牙刷。 它的特别之处在于，牙刷上有一个摄像头，还有一个照明灯。 它不仅可以让你用手机查看口腔情况，更重要的是，它会根据摄像头拍到的景象，自动判断需要向哪里喷水，加大清洁力度。 我觉得，都已经做到这个程度了，不如做一个自动刷牙器，你张开嘴，它自动就把牙刷完了。 3、 AI 手杖 哈佛大学工程学院的工程师，为盲人和视障人士，发明了一款 AI 手杖。 它需要跟手机配合使用。手机利用摄像头、GPS、运动和方向传感器捕捉到实时数据，再结合导航软件，自动找到下一步前进的方向，传给手杖。 手杖则发出各种哔哔声，提示用户到底是向前走，还是向左走或向右走。如果用户走错方向，它还会发出警报声。 我感觉，这个发明确实对于盲人很有价值，但需要手机全程打开，且摄像头还要能拍到街面。这还不如把手机功能集成到手杖上，就可以做出更强的智能手杖。 文章 1、 李·霍洛威的悲剧故事 （英文） 1981年出生的李·霍洛威（Lee Holloway）是 Cloudflare 的创始工程师，公认的技术天才。上图是 Cloudflare 的三个创始人，他在中间。 但是，36岁时他患上了早发性痴呆，大脑萎缩，后来发展到连话都没法说全了。 2、 开放模型2026年夏季述评 （英文） Hugging face 分析开放模型的最新发展情况，可以了解中国模型在整个 AI 市场上目前的地位。 3、 我分解了90年代 RSA 密钥 （英文） 互联网通信的安全，完全取决于密钥能否被破解。作者尝试破解1999年颁发的512位 RSA 密钥（目前的密钥至少是2048位）。 结果，他的台式机用了32个小时，就破解成功。如果用 GPU 集群，大概1个小时就能完成。 所以，加密货币从长远来看，也不安全，时不时就必须升级加密算法。 4、 HTML 中不需要 initial-scale 属性 （英文） 网页自适应视口，不再需要指定 initial-scale=1.0 ，只写 width=device-width 即可。 早期 iPhone 横屏时，页面不会自动改变宽度，为了解决 这个问题 ，就引入了 initial-scale 属性。 5、 JavaScript 递归的处理方法 （英文） 使用递归时，嵌套的栈过多就会报错，尾递归可以解决这个问题。但是 JS 运行时目前不支持尾递归，本文教你怎么办。 6、 我在后院建了一个工作室 （英文） 一个美国程序员在自己的后院，搭了一件简易工作室。他详细记录了建设过程，配了照片。 工具 1、 FlyonUI 一个基于 Tailwind CSS 的页面组件库。 2、 endlessh-go 一个抵御恶意的 SSH 登陆的工具，它不会