宇树高管谈具身智能 ChatGPT 时刻
宇树科技联合创始人陈立在2026亚布力论坛上明确提出，具身智能（机器人）迎来“ChatGPT时刻”的标志是机器人能在80%陌生场景中完成80%任务，并预测2030年将掀起消费浪潮。
标签： ChatGPT
宇树科技陈立：2030 年具身智能机器人将引领全新消费浪潮
宇树科技联合创始人陈立提出，到2030年，具身智能机器人将像手机一样成为消费级产品，并预测未来2-5年行业将在统一大模型、低成本硬件和分布式算力上实现三大突破，推动社会生产力升级。
AI 猜对了阿根廷，却还是没猜透佛得角
2026年世界杯淘汰赛，阿根廷3:2击败佛得角晋级。赛前12家AI大模型和6位人类嘉宾均准确预测了阿根廷胜出，但在比分预测上集体失真——没有任何模型或嘉宾预料到佛得角能攻入两球。这事说明：AI在“结果预测”上愈发精准，但对比赛过程、球风韧性和“黑马”表现，依然缺乏深层建模能力。
9点1氪｜阿里内部全面禁用Claude Code；FF洛杉矶总部人去楼空？公司回应：不实；微软砸25亿美元组建6000人AI新公司
阿里因后门风险全面封杀Claude Code，转向自研替代品；微软斥资25亿美元成立6000人新公司加速企业AI落地；FF澄清总部搬迁传闻。三件事分别指向AI安全管控、企业级AI服务规模化和科技公司PR危机。
Kagi 变更日志（7 月 2 日）：正面、反面和 AI 切换
Kagi Search 新增了一个全局开关，允许用户完全关闭搜索中的 AI 功能，同时在 Orion 浏览器中带来容器与个性化外观的重大更新，而旗下免费 AI 翻译服务因成本激增暂时下线，将转为订阅制。
宠物项目变得太大而无法宠物
一位开发者撰文指出，随着大模型与Agentic编码工具的普及，程序员用于学习与娱乐的“宠物项目”正变得不再轻松：项目野心更大、成本更高、竞争更卷，原本无压力的爱好正在演变成一种有“营收潜力的责任”与“持续付费的消耗”。
SearXNG：一款免费的互联网元搜索引擎
SearXNG 是一个开源元搜索引擎，聚合 Google、Bing、DuckDuckGo 等服务的搜索结果，且不追踪用户、不建立用户画像。该项目在 GitHub 上已获 33,200 颗星，近期因隐私保护需求升温而再次受到关注。
应用范畴理论课程（2018）
数学家 John Baez 基于 Fong 和 Spivak 的教材《组合性中的七幅草图：应用范畴理论引论》，于 2018 年开设并整理了完整的应用范畴理论在线课程（共 77 讲），该资源近日在 Hacker News 上重新引发关注。
[AI Agent 智能体] 关于 Claude code 子代理的小测试，引发对自己使用习惯上的思考
![[AI Agent 智能体] 关于 Claude code 子代理的小测试，引发对自己使用习惯上的思考](https://www.chat-gpts.plus/wp-content/uploads/2026/07/ai_cover_3-151-768x403.jpg)
一位开发者在使用 Claude Code 时，意外发现主代理（Opus 4.8）在安排子代理（Sonnet 5）进行代码审查时，自己提出的对抗性审查方案反而暴露了自身判断的漏洞。这个实验点出了一个关键问题：当 AI Coding Agent 的“裁判”（Judge）只有一层时，一旦裁判出错，人类就得亲自下场逐…
非洲人正在转向星链
《经济学人》报道指出，非洲大陆正大规模转向使用 SpaceX 的星链卫星互联网服务，以解决传统地面网络覆盖不足、价格高昂的问题。这一现象不仅改变了当地的互联网接入格局，也为 AI 服务在非洲的落地提供了新的基础设施基础。