搜索
在刚刚过去的7月10日，韩国存储芯片巨头SK海力士正式登陆纽约纳斯达克交易所进行ADR挂牌，当日股价大涨 12.76%，盘中最高涨幅一度超过19%。此次IPO共融资265亿美元，刷新了阿里巴巴保持十余年的海外企业赴美融资纪录，也成为了美国历史上第二大股票发行，这也使得SK海力士的总市值超过1万亿美元。
在OpenAI开发者社区，苦这个旧搜索久矣： 终于能找到那条消息了，为什么拖了这么久；那个老搜索栏，从来就没好用过；会话一多，搜旧对话就变得不可能；翻旧对话简直成了噩梦……
直出8K长卷，中国AI还是首次！就在今天，WAIC大会上，商汤正式发布下一代「满血旗舰」——日日新SenseNova-U1 Pro。 这是业界头一回，把「看懂、生成、动手」原生做进了同一个多模态基座的底层。
这便是中国电信人工智能研究院（TeleAI），刚刚在WAIC 2026提出的新技术路线；其背后这套融合AI、通信和网络的技术体系，则是智传网（AI Flow）。就在此次发布前一天，智传网（AI Flow）还拿下了WAIC大会最高奖项卓越人工智能引领者奖（SAIL）中的赋能（Applicative）奖。
刚刚，钛动科技在 WAIC 上发布了 Navos 2.0，把多智能体产品从网页对话框升级为智能体工作流架构。本月初，钛动还与 OpenAI 正式达成了合作并签约。创始人兼 CEO 李述昊给公司取了两个词拼成的名字——Tec-Do（用技术做生意），后面挂着版本号 2.0，含义是「像做产品一样做公司」（Develop Company as Product）——Tec-Do 2.0。
7月17日晚，在2026世界人工智能大会（WAIC）举办期间，由腾讯新闻、腾讯科技主办，腾讯华东总部、腾讯云智能特别支持的“腾讯WAIC之夜”在上海举行。腾讯新闻负责人何毅进在活动现场发表致辞。
过去，大家围着国产芯片问的是，峰值算力多少？制程多少纳米？和英伟达相比差多少？ 走到清微智能的展位前，你会发现一件有意思的事：这里摆的不只是芯片。可重构芯片、4K超节点、RAISA软件栈、行业应用，被放在一起呈现——像是在回答所有国产芯片厂商都绕不开的问题：
一项机器人拼搭长城的展示火爆全网。从彩排现场的照片来看，围观者已经里三层外三层。原力灵机联合阶跃星辰，用 6 台机器人挑战 15 小时连续作业，搭建完成一座包含超 8 万个零件的长城模型 —— 最小组件不到 1 厘米宽，成品长 3.5 米、宽 1.5 米、高 1.1 米。其中 4 台桌面机器人负责精细零件的拼装，2 台轮式机器人 Apex 负责将拼装完成的组件运输、组装。
这将是一个充满生产力的周末。就在刚刚，Claude 宣布当时时间 7 月 20 日起，Fable 5 继续留在所有 Max 和 Team Premium 套餐里，限额 50%。Pro 和 Team Standard 用户继续用积分访问，另外给用户发 100 美元的一次性积分。
7月15日，前谷歌DeepMind科学家Alex Turner宣布辞职。在一篇令人震惊的长文中，他揭露了谷歌如何一步步向五角大楼妥协，最终签下一份「毫无红线」的军事AI协议。以下，是Alex Turner用离职换来的惊人真相。
外媒Axios称，K3定价远低于它所挑战的高端模型，美国AI公司的高价策略还能维持多久？巧的是，就在最近，两大巨头正在打客户争夺战。此前，特曼在X上发帖，不提新模型，开头就是一句认错：
50多个智算中心，超过1000 EFLOPS的智能算力规模，平均利用效率却远远没有跑满。是石给出的解法，叫拓元（Vectron），一座国产Token优化工厂。是石科技依托国家级计算中心工程经验积淀，持续投入大规模集群研发，建设万卡级国产大集群，持续稳定运营，优化推理效率，构筑了深厚壁垒
WAIC（世界人工智能大会）第一天，信息量已经爆炸。从AI时代国家和企业的核心竞争力，到大模型迈向物理世界、迈向AGI所面临的挑战，再到Coding之后新的AI产品趋势……围绕从技术到产业的方方面面，图灵奖得主、两院院士、AI TOP研究者和企业、企业家们共聚一堂，精彩发声不断：
为了解决当前AI Agent存在的这些问题，面壁智能联合东北大学-面壁智能数据智能联合实验室、清华大学THUNLP实验室、OpenBMB与AI9Stars，正式开源了数字员工全流程构建与管理平台——StaffDeck。
WAIC 前夕，星尘智能（Astribot）新模型 Lumo-2，直接在官网甩出 20 + 真机视频 ——这背后，是星尘智能发布的第二代具身基座模型，也是业内首个面向家庭场景的隐式世界 - 动作模型（Latent World-Action Model），同步发的，还智能体 Agent Philia。
千寻智能的展台上，则来了两位画风完全不同的主角：一位是通体黑灰、看起来不苟言笑的 Moz1，埋头干活；另一位是首次公开亮相的 Moz2，奶杏色机身配上粉色小围脖「OOTD」，忙着向观众打招呼、举手比心，靠卖萌吸引了不少镜头。
RoboScience机器科学直接把世博馆展台，变成了 Visics 的压力测试场。换本体、换物品、换任务，多轮挑战轮番上阵，专挑具身大模型最容易掉链子的地方下手。Visics 的泛化能力究竟行不行？现场观众可以直接点题，围观验货。
7 月 14 日，Anthropic 正式发布 Claude for Teachers，面向美国 K12 教师免费开放高级功能，支持备课、课程设计、学习分析等教学场景。而在此之前，OpenAI 已经推出 ChatGPT for Teachers，同样聚焦教师教学支持，并计划向美国 K12 学区开放。
这一次，我就挑选了其中比较有代表性的三款：QClaw、WorkBuddy 和百度搭子，通过几组真实办公任务进行横向测试，看看国产办公 Agent 现在到底发展到了什么水平。横测标准：同一任务、同一素材、同一交付标准，每个任务只给一次主要执行机会。
7 月 17 日，2026 世界人工智能大会在上海开幕。展览首次扩展至「三地四馆」，总面积超过 10 万平方米，1100 余家企业带来 3000 余项展品，其中超过 300 款产品在大会期间全球首发。智算与具身智能首次成为并列的核心赛道，各自聚集超过 200 家企业。从开展后的排队人流，到机器人展台前层层举起的手机，AI 依然是当下关注度最高的科技议题之一。
最近不少人在给 Codex 做各种美化，但很多方案都有一个共同的问题：直接替换 app.asar、覆盖资源文件，或者整张截图覆盖整个界面。这样不仅升级容易失效，还可能导致程序异常。今天分享的是一套完整交付物——Codex Dream Skin。
彭博社的一则独家报道如同一盆冰水，浇灭了所有人的热情：Gemini 3.5 Pro发布延期了，而且不是延期几天，是数月的大延期！本该是载入史册的发布，被谷歌自己按下了暂停。
随后，SpaceXAI 兑现了承诺，在 GitHub 上正式开源了这套智能体编程框架。该公司在一篇 X 帖子中表示：“开源 Grok Build 可以让任何人都能参与构建可靠且强大的框架。”开源不到 20 个小时，Grok Build 已在 GitHub 上收获 1.21 万颗 Star。
世界模型圈一大难题是定义模糊，起码三四个流派各研究各的，都做了个产品就说自己是真正的世界模型，谁也没法说谁的不是。蚂蚁旗下的灵波科技疑似把这问题给解决了，因为哥们直接把几乎现有所有方向都做了一遍。
Nile（https://nile.shop），这家15人的创业公司，想要帮助解决这个问题。他们要为品牌构建一个“AI原生后端”，让商家拥有属于自己的、能面向任何Agent做分发的“品牌智能体”。
Z Potentials获悉，近日，总部位于硅谷与新加坡的Prana Labs正式完成近千万美金种子轮融资，由元生资本、XVC、Creekstone、三七互娱联合投资，澜松资本担任独家财务顾问。 与赛
循环真正的门槛，并不在于让AI一直跑，而在于它能不能自己踩住刹车。
AI编程工具有望成为新的入口级产品。
这场越来越快、越来越贵、越来越拥挤的竞赛里，我们还能做什么？
天哪，打工人也能有自己的私人助理了！