AI 每日小报 · PROOF
主编校对 · 2026年7月25日 晚报 · 精选 65 · 核实 4

AI 每日小报

2026年7月25日 晚报

今日精选

正文黑墨，旁栏是红铅笔。完整标题，一条一评。

HACKER NEWS · 科技圈 · 重要 9

Android 或限制设备端 ADB 调试，影响开发者

有消息称 Android 未来版本可能限制通过设备端 ADB 进行调试，除非连接电脑。此变动旨在提升安全性，但将影响根用户和高级用户的使用习惯。引发开发者社区热议。

读原文

HACKER NEWS · 科技圈 · 重要 9

Anthropic发布Claude Opus 5

Anthropic正式推出Claude Opus 5，并发布详细系统卡，介绍其架构改进、安全对齐策略及性能提升。该模型在多项任务中表现优异，引发社区热议。

读原文

SOLIDOT · 科技圈 · 重要 9

六岁女孩接受大脑基因编辑手术后死亡，伦理争议再起

六岁“美美”在上海新华医院接受首例大脑基因编辑手术，七天后死于严重免疫反应。手术针对罕见病Snijders Blok-Campeau综合征，但患儿症状较轻。知情同意书未明确死亡风险，论文删除人体实验失败信息。医院被罚2.4万元，家属要求撤稿。

读原文

GITHUB TRENDING · 科技圈 · 重要 9

零成本零配置的AI代理浏览器Ego-Lite，共享登录状态

Ego-Lite自称最快的AI代理浏览器，专为Web自动化设计。它允许用户与Codex、Claude Code等AI代理共享已登录的浏览器状态，而不干扰用户操作。完全免费，无需配置，JavaScript实现，日增986星。

读原文

议题: 大模型推理降本 LLM INFERENCE OPTIMIZATION · 科技圈 · 重要 9

KTransformers开源框架星数破万，助力异构LLM推理优化

KTransformers是一个灵活的Python框架，支持异构LLM推理和微调优化，在GitHub上获得超过19015颗星。它提供了多种优化技术，帮助降低大模型部署成本。

读原文

HACKER NEWS · 科技圈 · 重要 8

MouthPad：一款用舌头操控的触控板，解放双手

Augmental 团队推出 MouthPad，一种可置于口腔内的触控板，用户用舌头即可控制电脑或手机。该设备专为行动不便人士设计，支持蓝牙连接，提供手势操作。

读原文

HACKER NEWS · 科技圈 · 重要 8

Opus 5模型登顶Artificial Analysis智能排行榜首位

根据Artificial Analysis最新排行榜，Opus 5模型在多项AI基准测试中综合评分第一，超越其他主流模型。该榜单综合考量了性能、效率等指标。

读原文

HACKER NEWS · 科技圈 · 重要 8

安全摄像头登录页面竟泄露GitHub管理员令牌

某安全摄像头产品在其登录页面嵌入了包含GitHub管理员令牌的JavaScript代码，导致严重安全漏洞。攻击者可能通过该令牌获取仓库完全控制权。

读原文

HACKER NEWS · 科技圈 · 重要 8

Kimi K3被曝成功利用最新Redis服务器漏洞

安全研究人员发现，Kimi K3模型能够自动识别并利用Redis服务器的最新未修复漏洞进行攻击，凸显AI在网络攻击中的潜在威胁。

读原文

36氪 · 科技圈 · 重要 8

DeepSeek并非理想主义公司，而是用现实支撑AGI野心

梁文锋在投资者交流会中透露，DeepSeek既追求AGI愿景，又务实考虑API定价、融资、算力等现实问题。坚持开源，但已规划十个月回本的商业路径。

读原文

36氪 · 科技圈 · 重要 8

WAIC 2026落幕：AI从展示走向真实场景与商业价值

2026世界人工智能大会聚焦AI落地，技术展示退居幕后，真实场景、系统交付与商业价值成焦点。36氪深入展馆，探讨AI如何进入业务流程，成为可交付的智能伙伴。

读原文

SOLIDOT · 科技圈 · 重要 8

美国初创公司联盟反对政府禁止使用中国开放权重AI模型

近200家美国初创公司组成Little Tech Association，致信特朗普政府，反对禁止中国开放权重AI模型。他们认为此举将削弱美国初创企业，无法阻止模型扩散，并呼吁美国保持开放权重模型领先地位。

读原文

GITHUB TRENDING · 科技圈 · 重要 8

阿里开源混合架构代码审查工具，行级注释内置规则

阿里巴巴开源了一款混合架构代码审查工具，结合确定性管道和LLM代理，支持精确的行级注释，并内置针对NPE、线程安全、XSS、SQL注入等问题的规则集，兼容OpenAI和Anthropic。Go语言实现，上线首日获439星，开源免费。

读原文

议题: 国产 AI 芯片 AI CHIP SEMICONDUCTOR · 科技圈 · 重要 8

油价飙升冲击AI算力成本，电力依赖成隐忧

国际油价上涨导致电力成本增加，而AI训练和推理需要大量电力，这对依赖廉价能源的AI产业构成挑战。文章指出半导体制造和AI运营成本将上升。

读原文

HACKER NEWS · 科技圈 · 重要 7

志留纪假说：地质记录中是否存在古代智能文明？

《巴黎评论》探讨了“志留纪假说”，即地质记录能否保存数十亿年前智能文明的痕迹。文章分析化石、同位素等证据的局限性，质疑人类是否能探测到前人类文明。该假说启发对地球历史中生命可探测性的思考。

读原文

HACKER NEWS · 科技圈 · 重要 7

ARC-AGI 排行榜更新：测试 AI 的抽象推理能力

ARC 挑战赛发布最新排行榜，评估 AI 在抽象推理任务上的表现。参赛模型需解决像素级图形推理问题，目前最好成绩仍远低于人类水平。该榜单反映通用人工智能的瓶颈。

读原文

HACKER NEWS · 科技圈 · 重要 7

英中安全机构发布Kimi K3网络能力初步评估报告

英国人工智能安全研究所（UK AISI）与中国相关机构联合发布了对Kimi K3网络能力的初步评估报告，指出其潜在的网络安全风险与能力边界。该评估旨在促进AI系统安全发展。

读原文

TECHCRUNCH · 科技圈 · 重要 7

一根断电线暴露AI数据中心隐患：如何修复？

弗吉尼亚州北部的一起电力线故障导致多个AI数据中心供电中断，暴露了其对电网扰动的脆弱性。文章提出增强备用电源、优化负载调度等解决方案。

读原文

TECHCRUNCH · 科技圈 · 重要 7

Reid Hoffman联合创立AI实验室Prentis，拟融资1亿美元

新AI实验室Prentis由LinkedIn联合创始人Reid Hoffman和Zynga创始人Mark Pincus共同创立，正在洽谈融资1亿美元。其核心愿景是自动化日常电脑任务，认为这将是AI最大应用。

读原文

TECHCRUNCH · 科技圈 · 重要 7

越南拟限制儿童使用社交媒体，多国跟进

越南计划出台限制儿童使用社交媒体的政策。澳大利亚在2025年底率先实施禁令，旨在减少网络霸凌、成瘾等风险。已有多个国家效仿，旨在保护青少年。

读原文

TECHCRUNCH · 科技圈 · 重要 7

Cognition收购Poke：AI人格成为差异化竞争优势

Cognition收购对话风格公司Poke，将其交互模式融入编程代理Devin。此举反映AI助手的交互方式与模型本身同等重要，人格将成为竞争关键。

读原文

SOLIDOT · 科技圈 · 重要 7

印度政府要求GitHub下架Jack Dorsey的蓝牙聊天应用Bitc

印度网络犯罪协调中心要求GitHub移除前Twitter CEO Jack Dorsey开发的去中心化蓝牙聊天应用Bitchat，理由是该应用可被恐怖组织等滥用，逃避监控。通知日期为7月23日，正值印度“蟑螂人民党”抗议活动爆发。

读原文

SOLIDOT · 科技圈 · 重要 7

全球预期寿命增长，但不健康寿命同步延长

《The Lancet Public Health》研究显示，1990-2023年全球预期寿命从64.6岁增至73.8岁，健康寿命从55.9岁增至63.1岁，不健康时间占比从13.6%升至14.5%。美国不健康寿命最长（14年），其次为澳大利亚和加拿大。

读原文

GITHUB TRENDING · 科技圈 · 重要 7

Harper：隐私优先的离线语法检查器，Rust驱动开源

AutoMattic推出的Harper是一个离线、隐私优先的语法检查工具，基于Rust开发，速度快且开源。不发送任何数据到云端，保障用户隐私，适合对安全敏感的场景。日增503星。

读原文

议题: 开源 AGENT 生产落地 AGENT FRAMEWORK · 科技圈 · 重要 7

开源多智能体编排框架Open Multi-Agent发布，专为TypeS

Open Multi-Agent是一个面向TypeScript的多智能体编排框架，旨在简化AI Agent的协作与调度。该项目在Hacker News上引发讨论，是开源Agent生产落地的重要尝试。

读原文

议题: 大模型推理降本 LLM INFERENCE OPTIMIZATION · 科技圈 · 重要 7

Rust版AutoAgents框架发布：可组合中间件优化LLM推理

AutoAgents是一个基于Rust的AI Agent框架，其创新特性是可组合的中间件层，用于LLM推理管道中的安全、缓存和数据清理。解决了Guardrails难以集成的问题。

读原文

HACKER NEWS · 科技圈 · 重要 6

Fedora 45 香肠工厂：新版本构建流程揭秘

一篇技术博客详细介绍了 Fedora 45 的构建过程，从源码到发布版的“香肠工厂”式流水线。作者解释了自动化工具、测试和打包环节，展现了开源操作系统的复杂工程。

读原文

HACKER NEWS · 科技圈 · 重要 6

东京灭绝媒体博物馆：致敬已消失的媒体设备

东京开设“灭绝媒体博物馆”，陈列软盘、录像带、传呼机等已淘汰设备，唤起数字怀旧。展览通过实物和情景再现，探讨技术迭代与文化记忆的关系。

读原文

THE VERGE · 科技圈 · 重要 6

华纳兄弟起诉亚马逊非法挖走高管

华纳兄弟起诉亚马逊，指控其非法挖走包括原高级营销副总裁Pia Barlow在内的员工，称亚马逊进行“非法员工购物狂欢”。

读原文

SOLIDOT · 科技圈 · 重要 6

Google账号新增自拍人脸登录功能，用户需提供视频

Google账号推出可选人脸识别登录，用户需提交自拍视频，并可能被要求转动头部以防深度伪造。Google称视频加密仅用于登录，用户可随时删除。此举旨在提升安全性，但隐私问题引发关注。

读原文

SOLIDOT · 科技圈 · 重要 6

研究：GLP-1减肥药与脱发风险增加相关

《BMJ》研究显示，GLP-1减肥药比同类药物SGLT-2和DPP-4分别高出37%和68%的脱发风险。快速减肥和热量减少是诱因，多数病例可逆。脱发虽无身体伤害，但影响心理社会健康。

读原文

GITHUB TRENDING · 科技圈 · 重要 6

Anthropic官方Claude Cookbook：趣味实用的AI玩法

Anthropic官方发布了一套Jupyter Notebook集合，展示了使用Claude的一些有趣且有效的方法。每个笔记本都是一个独立示例，覆盖多种场景，适合学习Claude的进阶用法。日增144星。

读原文

GITHUB TRENDING · 科技圈 · 重要 6

金融基础模型Kronos：用AI理解市场语言

Kronos是一个专门为金融市场语言设计的基础模型，由shiyu-coder开发，基于Python。它旨在通过深度学习理解金融文本、趋势等，支持量化分析与预测。日增319星。

读原文

GITHUB TRENDING · 科技圈 · 重要 6

Superpowers：代理技能框架与软件开发新方法论

Superpowers提出了一种代理技能框架和软件开发方法论，旨在提升AI代理的自主操作能力。基于Shell实现，日增600星，但项目抽象，具体实践有待社区反馈。

读原文

HACKER NEWS · 科技圈 · 重要 5

去中心化聊天应用 Bitchat 现已迁移至 Radicle 网络

Bitchat 宣布迁移至去中心化代码协作平台 Radicle，旨在提升抗审查能力。Radicle 基于 Git 和点对点网络，无需中央服务器。此举反映了对隐私和去中心化的持续需求。

读原文

SOLIDOT · 科技圈 · 重要 5

英伟达、微软、OpenAI 等公司反对限制开放权重模型

在一群初创公司之后，科技巨头如微软、英伟达、思科、戴尔、IBM、甚至 OpenAI 等数十家公司和组织联署发表公开信，呼吁美国政府不要过早限制开放权重模型，认为此举会扼杀竞争或导致本土创新放缓。公开信

读原文

SOLIDOT · 科技圈 · 重要 5

IRGC 声称摧毁了亚马逊巴林数据中心

IRGC 声称使用巡航导弹袭击并摧毁了亚马逊 AWS 位于巴林的数据中心。亚马逊和美国军方未证实这一说法。如果属实，这是亚马逊巴林数据中心第三次遭到袭击，根据 AWS 自己的公告，巴林数据中心自 20

读原文

GITHUB TRENDING · 科技圈 · 重要 5

Awesome Claude Skills：定制Claude工作流的资源

这是一个精心整理的Claude Skills、资源和工具列表，旨在帮助用户自定义和优化Claude AI的工作流程。由ComposioHQ维护，Python实现，日增574星，适合开发者探索Claude扩展能力。

读原文

GITHUB TRENDING · 科技圈 · 重要 5

Pumpkin：Rust驱动的高效Minecraft服务器

Pumpkin旨在让每个人都能轻松搭建快速且高效的Minecraft服务器。基于Rust开发，性能优秀，开源免费。日增357星，适合游戏玩家自建服。

读原文

议题: 国产 AI 芯片 AI CHIP SEMICONDUCTOR · 科技圈 · 重要 5

AIDAChip推出面向芯片工程师的GenAI工作坊教程

AIDAChip Workshop_01是一个自导教程，帮助半导体工程师利用大语言模型和生成式AI提升芯片设计效率。项目在GitHub上获得14星。

读原文

议题: BITCHAT 应用更新 2025 · 科技圈 · 重要 5

实测BitChat：用户称其在对抗审查方面表现强大

一位用户分享安装BitChat的体验，认为这款基于蓝牙Mesh的聊天应用在抵抗审查方面效果显著，能够实现无互联网的通信。

读原文

核实台

争议声称单独落栏：状态戳、证据链、裁定说明与短评分开。

核实台 · TechCrunch · 置信 70%

Uber称Waymo合同2028年5月到期，Waymo未确认

声称：Waymo和Uber的合同将于2028年5月结束。

声称Waymo与Uber合同2028年5月结束。证据仅来自Uber向TechCrunch的声明，缺乏独立来源及Waymo确认，部分可信。

原始线索

核实台 · TechCrunch · 置信 60%

美国公民被指控在边境搜查中使用胁迫密码擦除手机数据

声称：一名美国公民被指控在边境搜查中使用“胁迫”密码擦除了手机数据。

一名美国公民被美国政府指控在边境搜查中使用胁迫密码擦除手机数据，TechCrunch报道了该案件。

原始线索

核实台 · TechCrunch · 置信 70%

Uber称Waymo合同2028年5月到期，Waymo未确认

声称：Waymo和Uber的合同将于2028年5月结束。

声称Waymo与Uber合同2028年5月结束。证据仅来自Uber向TechCrunch的声明，缺乏独立来源及Waymo确认，部分可信。

原始线索

核实台 · TechCrunch · 置信 60%

美国公民被指控在边境搜查中使用胁迫密码擦除手机数据

声称：一名美国公民被指控在边境搜查中使用“胁迫”密码擦除了手机数据。

一名美国公民被美国政府指控在边境搜查中使用胁迫密码擦除手机数据，TechCrunch报道了该案件。

原始线索