每日科技摘要-07-16-早报

AI产业动态与前沿进展

人工智能领域持续爆发，新模型、新应用和巨额融资频现。Mistral推出开源语音模型Voxtral，Anthropic发布金融分析方案，前OpenAI高管Mira Murati的新公司在种子轮即获百亿估值。与此同时，业界对AI的思考也在加深，包括其内部文化、安全监控、伦理问题（如AI伴侣）以及对就业和内容生态的潜在冲击。

• Mira Murati 的 Thinking Machines Lab 种子轮估值高达 120 亿美元：OpenAI前CTO Mira Murati创立的AI初创公司Thinking Machines Lab，在种子轮中筹集20亿美元，估值达120亿美元，计划在未来数月推出包括开源产品在内的AI模型构建工具。
• Voxtral——开源语音理解新纪元：法国AI初创公司Mistral AI发布其首个开源音频模型Voxtral，旨在提供经济、强大的语音智能解决方案，支持多语言转录、深度理解和灵活部署，挑战现有封闭系统。
• AI吃代码，如今盯上现金流，金融业的Copilot时刻来了？：Anthropic推出金融分析解决方案，通过整合金融数据和其先进的Claude AI能力，旨在变革金融专业人士分析市场、研究和决策的方式。
• 关于OpenAI的思考：一位前OpenAI员工分享了公司快速增长下的工作日常，描述了其以Slack为中心的自下而上文化、对行动的偏见以及对安全和公众监督的重视。
• Grok多面手：Grok 4在数学、物理和编码等特定基准测试中表现优异，但在通用任务和对话质量上仍有不足。此外，其新增的“AI伴侣”功能引发了伦理担忧。
• 研究领袖呼吁科技行业监控AI“思想”：来自OpenAI、谷歌DeepMind等的AI研究人员呼吁，深入研究AI“思维链”监控技术，以确保AI代理的安全性和可控性。
• Google Discover上线AI摘要，内容方流量或将雪上加霜：谷歌在美国Discover新闻源中推出AI摘要功能，此举可能进一步减少新闻出版商的网站流量，引发业界担忧。
• 曾参与开发AI工具的《糖果传奇》工作室员工被裁员，岗位被AI取代：微软旗下游戏公司King的员工在帮助构建和训练AI工具后，正面临被这些AI取代的风险，导致大规模裁员。
• NVIDIA称可恢复向中国销售关键AI芯片：英伟达已获美国政府批准，将恢复向中国销售其H20 AI GPU，并预计很快开始交付。该芯片此前因担忧军事用途而被禁售。
• 分层建模（H-Nets）：一种名为H-Net的新型AI架构被提出，它通过动态分块机制学习分割和压缩原始数据，旨在解决现有模型在处理高分辨率数据时的局限性。
• 超级智能承保：文章提出“激励飞轮”模型，建议通过保险、标准和审计来量化和降低AI风险，以在推动技术进步与确保安全之间取得平衡。
• AI 编程工具悄然回归：终端成新宠：AI驱动的软件开发正从传统代码编辑器转向直接与系统终端交互，Anthropic、DeepMind和OpenAI等公司已推出相关工具，可能对开发领域产生深远影响。

科技巨头与行业动态

科技行业合作与竞争并存，裁员潮仍在继续。Uber联手百度布局全球自动驾驶市场，而亚马逊则与对手SpaceX合作发射卫星。为应对AI扩张带来的能源需求，谷歌投入巨资确保水电供应。与此同时，苹果因浏览器引擎限制在欧盟面临持续压力，而2025年科技行业的裁员已影响超2.2万名员工。

• Uber牵手中国百度，开启Robotaxi新篇章：优步与百度达成战略合作，将在美国和中国大陆以外的多个市场，向优步平台部署数千辆百度Apollo Go自动驾驶汽车。
• 亚马逊Kuiper卫星将借力对手SpaceX：为加速卫星网络部署，亚马逊的Kuiper项目将使用竞争对手SpaceX的猎鹰9号火箭发射下一批24颗互联网卫星。
• 谷歌砸下30亿英镑，为数据中心和AI扩张抢占能源：谷歌达成一项30亿美元的协议，以确保3000兆瓦的水电供应，以满足其日益增长的AI和云计算平台对清洁能源的需求。
• 苹果浏览器引擎禁令依旧，DMA也无能为力：尽管欧盟《数字市场法案》允许，但由于苹果的合同和技术限制，谷歌和Mozilla等公司仍未在iOS上推出其第三方浏览器引擎。
• 2025年科技行业裁员的全面清单：2025年科技行业裁员潮持续，截至7月已有超过2.2万名员工受影响。许多公司将裁员归因于AI转型、成本削减及效率提升。
• Rivian联手Google，为其电动车和App定制专属地图：Rivian与谷歌合作，将独特的谷歌地图版本整合到其电动汽车中，融合了行程规划、充电站位置等特色功能，以提升用户体验。
• 苹果承诺未来数年斥资5亿美元采购美国制造稀土磁体：苹果承诺向美国稀土公司MP Materials投资5亿美元，用于采购其产品所需的稀土磁铁，并支持在美国建立相关产业链。

网络安全与隐私保护

网络安全事件频发，从国家间的网络攻击到个人数据泄露，凸显了加强防护的重要性。乌克兰黑客声称摧毁了俄罗斯无人机制造商服务器，一名美军士兵因黑客攻击和勒索认罪。同时，Meta修复了可能泄露用户AI提示的漏洞，而Reddit为遵守英国新规启动了年龄验证。

• 乌克兰黑客自称摧毁俄无人机制造商服务器：乌克兰黑客组织BO Team声称已入侵俄罗斯无人机制造商Gaskar Group的网络，破坏其运营并窃取了大量数据。
• 美军士兵认罪：黑进电信公司并勒索：前美国陆军士兵卡梅伦·约翰·瓦格纽斯承认入侵电信公司、出售被盗数据并进行SIM卡交换诈骗，面临最高20年监禁。
• Meta修复可能泄露用户AI提示词和生成内容的漏洞：Meta修复了一个安全漏洞，该漏洞曾允许Meta AI聊天机器人用户访问其他用户的私人对话内容。公司表示没有证据表明该漏洞被恶意利用。
• Reddit在英国上线年龄验证，响应新规：为遵守英国《在线安全法案》，Reddit要求英国用户通过第三方服务验证年龄，以防止未成年人接触不当内容，此举引发了隐私担忧。
• 一文看懂无特权沙箱：文章探讨了在不提升权限的情况下将服务器进程限制在特定目录中的沙盒技术，并比较了OpenBSD和Linux上不同方案的易用性和复杂性。
• FBI公布的Jeffrey Epstein狱中录像被删减近三分钟：新发现的元数据显示，美国司法部声称的爱泼斯坦狱中“完整原始”监控录像被剪掉了近三分钟，引发了对视频真实性的新疑问。

硬件新品与软件更新

软硬件产品迎来密集更新，覆盖从专业创作工具到消费电子产品。Blender和Helix编辑器发布重要版本，索尼时隔十年更新RX1R系列相机，雷蛇重启外置显卡产品线。在汽车领域，Lucid Motors将上线高速公路免提驾驶功能。

• Blender 4.5 LTS 正式发布：Blender 4.5 LTS版本带来重大更新，包括全面的Vulkan后端支持、几何节点功能增强、EEVEE性能提升以及新增点云对象类型等多项改进。
• Helix 编辑器 25.07：Helix 25.07 版本发布，引入全新的Tree-sitter集成库，显著提升了语法高亮和解析性能，并新增了文件浏览器、LSP文档颜色支持等多项功能。
• 索尼61MP RX1R III定焦黑卡相机十年磨一剑，终于发布：时隔十年，索尼发布新款RX1R III固定镜头全画幅相机，搭载61MP传感器和最新图像处理技术，支持4K视频录制，售价约5100美元。
• Razer重启外接显卡产品线，推出Thunderbolt 5扩展坞：雷蛇推出新款外置显卡盒Core X V2，通过Thunderbolt 5连接，带宽为前代两倍，旨在提升笔记本电脑和掌上设备的图形处理能力。
• Lucid Motors本月将上线高速公路免手驾驶：Lucid Motors将于7月30日通过软件更新，为其Air轿车提供高速公路免提驾驶功能，加入少数提供此功能的汽车制造商行列。
• Xbox“自家游戏串流”功能现已支持PC：Xbox的“串流你自己的游戏”功能扩展至PC，允许Game Pass Ultimate订阅者通过云端在PC上玩他们拥有的Xbox游戏，无需本地安装。
• KDE官方Roku-Android TV替代品“死而复生”：KDE的智能电视项目Plasma Bigscreen在长期停滞后获得重大改造，更新了用户界面和功能，目标是重新纳入官方发布计划。
• 赛博朋克2077：终极版将于7月17日登陆Mac：《赛博朋克2077：终极版》将于7月17日登陆Mac平台，支持M系列芯片的Mac电脑，并包含基础游戏和“往日之影”扩展包。
• Analogue称其N64复刻主机将于下月开始发货：因美国关税问题，Analogue公司的N64复刻版主机Analogue 3D将推迟至8月下旬发货，但预购价格保持不变。

前沿科学与创新探索

基础科学和前沿技术探索取得新突破。美国国家标准与技术研究院的离子钟刷新了最精准时钟纪录，日本研究团队利用19芯光纤实现了超千公里级别的Pbit/s传输。同时，韦布望远镜的新发现为黑洞诞生之谜提供了线索。

• NIST离子钟刷新最精准时钟纪录：美国国家标准与技术研究院（NIST）的铝离子钟创造了世界最精确时钟的新纪录，为重新定义“秒”和探索新物理学奠定了基础。
• 标准19芯光纤实现超千公里级别Petabit级传输：日本研究团队利用新型19芯光纤，成功实现了1.02 Pbit/s的数据在1,808公里距离上的传输，创下新的世界纪录。
• 韦布望远镜发现“无限星系”，揭示黑洞诞生之谜：韦布望远镜观测到一个形似无限符号的“无限星系”，这一发现为超大质量黑洞由气体云直接坍缩形成的理论提供了有力证据。
• Show HN：Shoggoth Mini——GPT-4o与强化学习驱动的软体触手机器人：文章介绍了一款名为Shoggoth Mini的软体触手机器人，它通过姿态和运动来传达意图，探索了机器人的表达能力与“生命感”之间的关系。

编程开发与技术思考

编程社区关注效率提升、工具创新和历史反思。开发者们讨论了通过在脑海中进行微观推理来提升代码质量的思维模式，并探索了已逝编程语言的深远影响。同时，新的编程环境和加密工具也持续涌现。

• 想成为更强的程序员，脑海里多做小推理：文章阐述了在编写代码时同步在脑海中验证其正确性的思维模式，如单调性、不变量等，并强调“证明亲和力”是衡量代码质量的重要指标。
• 那些影响深远但已“逝去”的编程语言（2020）：文章探讨了COBOL、ALGOL、Pascal等虽已“消亡”但对现代编程范式产生深远影响的编程语言，追溯了它们对现代编程的贡献。
• 用Passkey和age加密文件：age文件加密格式现已支持使用Passkey和WebAuthn凭证进行对称加密，利用WebAuthn的PRF扩展，确保了每文件硬件绑定和安全性。
• FIPS 140-3 Go 加密模块：Go 1.24及更高版本现已通过其加密模块原生支持FIPS 140-3标准，简化了合规性流程，并保持了Go一贯的安全性。
• Show HN：我们为 Apple Silicon 自研了推理引擎：Uzu是一个专为Apple Silicon优化的AI模型高性能推理引擎，提供简洁的API、混合架构和统一内存利用，旨在提升AI模型在苹果设备上的运行效率。
• Hazel：带类型空洞的实时函数式编程环境：Hazel是一个基于类型理论的实时函数式编程环境，用户可以在线试用或本地构建，文章提供了详细的贡献和开发指南。