“‘十四五’时期，中国做了第一个脑科学计划，聚焦脑接口在内的脑科学、脑疾病研究，这是脑机接口火热的前置背景。

1、天博官方 直到下班清点人数，大伙发现少了人，赶紧打电话联系，但戴先生的手机没带在身上。

四、两款模型均已上线，3.5 Pro仍在测试 目前，Gemini 3.6 Flash和3.5 Flash-Lite已经通过Google AI Studio、Android Studio及Gemini API向开发者开放，其中3.6 Flash还进入了Google Antigravity。天博官方他也呼吁有热成像无人机资源的企业，能够主动对接园区，助力完成野外搜寻。

2、马拉松开始“整治”跑者！惩戒还是轻了

最后，在VAE解码优化方面，Skywork团队使用3.0版本中的MG-LightVAE，对Wan2.2 VAE Decoder进行约75%结构化剪枝。

3、年薪1400万欧！拜仁1.5亿巨星告知法国队友 希望世界杯后转会皇马

智东西 编译 茄子 编辑 程茜 智东西7月17日报道，今日，Kimi正式发布其迄今能力最强、全球首个开源的3万亿参数级别模型Kimi K3。

4、25座国宝雕塑亮相太阳岛｜大熊猫馆再添萌趣打卡点

▲清华大学计算机系教授唐杰、智谱创始人兼首席科学家唐杰（图源：“AGI-Next”峰会） 今年1月，智谱正式在港交所挂牌上市，成为港股“大模型第一股”，如今其在港股的市值已经达到7449.97亿港元（约合人民币6445亿元）。

5、荣耀换新Logo登上热搜 网友联想到《王者荣耀》

”刘知远说。

根据NOI官网公示的获奖名单，今年全国共有54名同学获得金牌（前50名入选国家集训队），146名同学获得银牌，83名同学获得铜牌。

AgenticOS主动智能，就是以Agent为内核，主动规划、主动服务、主动执行。

6、灯光秀、小吃街、国潮演绎...... 一起走进山东的夏日夜魅力

从技术架构来看，这意味着未来计算资源不仅来自地面智算中心，也包括轨道上的计算节点，两者通过统一调度平台协同完成任务。

▲优理奇机器人制作糖画 非夕科技、希夕智能联手东方航空，演示了机器人制作健康餐的餐谱识别、食材抓取、裁切装盘、调味出餐全流程，已实现摆餐机器人日产近万份盒餐上东航航班。

7、小区16楼接连扔下整箱牛奶、户口本，被子，有幼童半个身子探出窗外……民警：屋里只有3个孩子

如今，Agentic Infra支撑智能体规模化运行与持续进化的产业价值正在被不断验证。

平心而论，儿童活泼好动，抓拍的又是玩耍画面，跑动跳跃间偶尔露出内裤，大概率不是摄影机构刻意为之，算不上恶意侵权。

8、开源凭证网关OneCLI来了，让AI代理调用API时再也碰不到真实密钥

具身智能体方面，腾讯同步发布TairosAgent具身智能体框架与 Apexio智能体，可将“左右脑”“大脑”“小脑”和身体整合成完整的系统，让机器人形成一个持续感知、持续决策、持续行动的整体。

今年6月下旬，在四川绵阳公安胡祥雨工作室的帮助下，申苗找到远在河北的姐姐申朵。

目前，这类服务器的主流玩家基本是高通和此芯，尤其是在高性能智能体CPU方向上。

9、气象台真不敢报40℃？官方回应来了！

本周新登场的阶跃大模型原生智能体手机STEPX Neo入选“镇馆之宝”，搭载自研智能体原生操作系统Step AOS和智能体阶跃Amoo，已与携程、支付宝、滴滴、美团等达成首批生态合作，展现多场景服务，可以看智能体替你办事的实机演示。

它试图让大模型从诞生之初就具备“看”与“理解空间”的能力，甚至能用自然语言来定义自己需要执行的任务。

10、小梅西隆重登场！曼联公布第二场热身赛大名单，800万新援落选谢什科仍伤缺

在上届大会上，公司自主研发的高质量数据集入选“语料风云榜TOP10”榜单。

王女士坦言，动物园往年经营仅能勉强覆盖日常开支，原本计划今年繁育小动物增收，一场洪水让多年积蓄全部归零，幸存动物们的饲养开销也成了压在她心头的巨石。

1、成都26楼马桶钻出1.5米长蛇？当地辟谣

最先出圈的是优必选，6月30日，它发布U1系列超仿生机器人，价格分为三个档位，从半身版U1 Lite的11.98万元起步，到全身版U1 Pro的16.98万元，再到旗舰版U1 Ultra的男款99万元、女款88万元。

2、疯狂世界杯！6分钟3球对飙：贝林厄姆99秒双响 创40年纪录

有的机器人则留在展台上，反复演示分拣、质检和装配。

3、世界杯16强全部出炉！欧洲7席 南美4队 亚洲团灭 东道主狂飙

但李瑞的看法更严格。申花有最强盾朱辰杰 北京国安也不弱 有最锋利矛张玉宁在12个AI大模型中，并未出现从开赛到百场始终占据优势的“全能冠军”。

4、浙江队，进京赶考灰头土脸；卡内达，遭遇首败绝非一无收获

现在厂商炒作“AI OS”概念，其实是过去移动互联网思维的延续。

5、从流量狂奔到合规精耕：年内消金高管大换血，超七成机构迭代

没有自研模型，腾讯的产品依然可以借助外部供应商迅速补齐体验，但它会在AI最关键的生产函数上长期受制于人。

6、谢贤去世，谢霆锋和妹妹发布讣告

在知识工作方面，Kimi内部Internal Knowledge Work Bench测试显示，在统一开启最高深度思考模式后，Kimi K3在通用推理、深度文档分析和金融专项三类任务中的表现均超过GPT-5.5和Claude Opus 4.8。

与此同时，Qoder全系产品用户已突破500万，成为国内最受欢迎的AI编程工具。

▲Xiaomi-Robotics-1使用了10万小时真实世界操作轨迹 面对10万小时数据，人工标注显然不可行。

7、为什么越来越多有钱人，开始搬离“高层”？离职物业经理吐露心声

▲奇门动力联合创始人乌合麒麟（付昱） 针对上面提到的AI影视制作中工具快速迭代导致画面风格难以统一的问题，奇门魔方搭建了一套可插拔的生产底座。

通俗来说，世界模型是让机器人先在“脑内”预测“这么做世界会变成什么样”，再决定动作，而不是死记硬背动作顺序。

8、中卫未来12小时将有雷电、短时强降雨天气，大家注意预防！

直到现在，公司的股价还保持在1900元左右，是名副其实的“A股股王”。

2023年，公司开始与HOKA、凯乐石合作；2024年，拿下加拿大越野跑品牌norda®在中国市场的独家运营权；2025年，又相继引入挪威户外品牌Norrøna、英国跑步品牌Soar、加拿大品牌Ciele Athletic，并自主孵化了跑步生态品牌ektos。

二、Token服务不稳定，AI Ping转起“飞轮” Token生产出来之后，需要高效的流通网络才能触达终端应用——这正是算力智能调度的核心舞台。

在这一轮国产模型更新中，DeepSeek V4 Pro、智谱的GLM-5.2、MiniMax M3都在争夺能力上限：有的将总参数推至万亿级，有的把上下文拉到100万Token，有的在代码和长程Agent任务中占优。