这篇内容探讨了开源项目管理的新趋势，即用 Pull Request (PR) 完全取代 issue 提交通道，并分析了其在 AI 时代下的合理性。同时，内容还介绍了 AI 在数学领域的突破性进展，特别是 Claude AI 完成了对费马大定理的程序化证明。此外，还涵盖了多项科技动态、文章、工具和资源分享，以及关于产品开发和技术发展的深度思考。
禁止 issue，只用 PR
PHP 框架 Laravel 最近宣布了一项新规定：项目不再接受 issue，只接受 Pull Request (PR)。这个看似激进的措施，在当前环境下有其合理性，并可能成为一种趋势。
减少垃圾信息： 愿意花时间创建 PR 的用户通常对问题更上心。这种方式可以有效过滤掉机器人和骚扰者发布的低质量 issue。
方便维护者： PR 提供了比 issue 更丰富的信息，能帮助项目维护者更快地理解和解决问题，从而节省宝贵的时间和精力。
提交难度未增加： 在 AI 时代，用户即便不懂源码，也可以通过向 AI 描述问题来自动生成 PR。这使得提交 PR 的门槛几乎和提交 issue 一样低。
应对资源不足： 开源项目普遍面临资源有限的问题，难以应对日益增多的 issue。新模式鼓励用户从“提出问题”转向“贡献解决方案”，共同为项目发展出力。
史上最长的数学程序
Anthropic 公司使用 Claude AI 完成了一项历史性的数学任务：将安德鲁·怀尔斯对费马大定理的著名证明程序化。
费马大定理是一个困扰了数学界三百多年的猜想，即当整数 n > 2 时，关于 x, y, z 的方程 xⁿ + yⁿ = zⁿ 没有正整数解。
这个证明在 1995 年由安德鲁·怀尔斯完成，长达 129 页，极其复杂。将其翻译成计算机可验证的语言一直是个巨大挑战。Claude AI 仅用 11 天就完成了这项工作，将证明翻译成了 Lean 语言（一种专为数学定理证明设计的编程语言）。
- 项目规模： 最终生成的代码长达 1300 万行，是史上最长的数学程序，整个过程消耗了数十亿 Token。
- 项目意义： 这证明了 AI 有能力验证那些人类难以审查的复杂数学证明，确保其准确性。
在一次采访中，安德鲁·怀尔斯描述了完成证明后的感受：
"确实有些伤感，但同时也有一种巨大的成就感，还感到终于自由了。我曾如此痴迷于这个问题，无时无刻不在思考它……这种情况持续了八年。这段特殊的历程现在终于结束了，我的内心终于平静下来了。"
科技动态
特斯拉出售 Cybercab： 特斯拉不仅计划运营无人驾驶出租车队，还宣布将这些车辆对外出售。购买者可以将其作为投资，与特斯拉分享运营收入。这使特斯拉从重资产的汽车制造商，转变为轻资产的运营商。
戴森电动牙刷： 戴森推出了一款内置摄像头和照明灯的电动牙刷。它能通过手机应用展示口腔内部情况，并根据影像自动调整喷水清洁的重点区域。
AI 手杖： 哈佛大学为视障人士开发了一款 AI 手杖。它通过手机的摄像头和传感器捕捉环境数据，结合导航软件，通过手杖发出的提示音引导用户前进、左转或右转。
文摘精选
在启动一个新项目前，可以先问自己三个问题，以避免开发出过于复杂或缺乏特色的产品。
产品介绍能否写成一页纸的概要？ 如果不能，说明它太复杂了，需要简化。
核心技术能否与产品分离？ 优秀的核心技术应该独立于具体的产品形态，具备持续发展的潜力。例如，移动通信技术是手机的核心，即便某款手机失败，该技术依然有价值。
产品有没有一个核心特色？ 一个清晰、独特的特色能帮助你聚焦，避免做出一个试图面面俱到的臃肿产品。
言论
AI 替代作家，我没有出声，因为我不是作家。 然后，AI 替代艺术家，我没有出声，因为我不是艺术家。 现在，AI 替代程序员，已经没有人能为我说话了。
世界正在"电动化"，电池和电动机构成了生活的基础，再加上 AI 的飞速发展，意味着我们周围许多"无意识之物"将变得智能化，能够自主思考和移动。 — Noah Smith，美国经济分析师
人们让 AI 大量解决数学难题，但是数学难题是不可再生的，如今好的问题已经变得稀缺。自动化工具解题，并没有增加人类的数学思维，损害了未来的数学发展。 — 陶哲轩，著名数学家