同时，Inkling完整权重已在Hugging Face开放，开发者可下载原始checkpoint和NVFP4 checkpoint，用于部署或调整该模型。

1、高比体育 动物园工作人员进行清淤 园内猛兽带病待养 饲料储备仅够支撑一周 此外，在采访过程中封面新闻记者还了解到，洪水浸泡过后，动物园内幸存狮子、棕熊、狼等食肉动物集体患病，每天需要持续打针、吊水治疗。

随着百万上下文大模型落地，长文档解析、企业 RAG、AI智能体、代码仓库检索等业务普及，放大了大模型推理Prefill与Decode阶段的资源矛盾，二者共享算力与带宽会发生资源抢占的情况。高比体育面壁智能成立于2022年8月，今年上半年累计融资超过50亿元，估值超过200亿元，是当前我国端侧智能领域公开估值最大的独角兽企业。

2、马龙不再隐瞒！回应被国家队召回传言，原来有一点他一直没变

下了飞机，很多人和他们交涉，就一个员工，也给不了方案。

3、装修最大的坑，就是「网红装修」！入住后才明白，钱全都白花了

结语：做减法，让AI眼镜首先是一副能久戴的眼镜 在行业普遍比拼算力、堆叠传感器、强化视觉交互的背景下，Moonix选择了一条“敬畏传统、回归本质、做减法”的路径，以14.9可重量做到让用户愿意每日佩戴，并聚焦“记录与记忆”方向，终极目标是构建用户个人记忆库，成为最懂用户的AI助理。

4、为了杨瀚森学中文！这样的老大不多了！

在核对双方驾驶人信息过程中，民警发现其中前车驾驶人小李（化名）居然是一名16岁的未成年人，其尚未取得机动车驾驶证，属于无证驾驶。

5、少儿编程认证优选！YCL青少年人工智能编程水平测试

所有无人机持有人必须首先通过“民用无人驾驶航空器综合管理平台”（简称UOM平台）完成实名信息登记。

刘先生向红星新闻记者提供了他和售后以及客服的聊天记录，上面显示，车机被锁是对车辆的一种保护，避免车辆被盗出国后仍能正常使用且无法追回。

但无论是哪种路线、哪家公司，都还处于早期。

6、4月5战零进球，5月7战*进球？破僵第一战，浙江队喜迎深圳新鹏城

市民口碑爆棚 优质体验获亲子家庭盛赞 在活动的最后一个篇章“研学营”，专业老师讲解桌面机器人/机器狗的拼装和简单编程，吸引了不少小朋友驻足参与。

会上，公安部刑事侦查局局长姜国利表示，当前，电信网络诈骗已经成为全球公害和社会治理的难题。

7、上新

财报公布后，特斯拉盘后跌3%，电话会开到一半，跌幅扩大到5%以上。

2024/2025财年，公司营业收入270.1亿元，同比下降6.64%；净利润12.86亿元，同比大幅下降41.9%。

8、拒逆转！爵士83-79击败开拓者！杨瀚森再创惊喜，立足NBA稳了

▲光轮智能具身数据平台 灵初智能SynCap具身智能数采系统形成视觉、语言、触觉、动作四模态同步数据，灵生科技、启能机器人、宇叠智能科技、墨现科技等带来数据手套，艾欧智能基于自研遥操作数据采集系统现场展示人形机器人实时全身远程遥操，智在无界、傲意等都展出了数据集采平台或方案。

在四川九天具身智能科技有限公司（以下简称“九天具身智能”）AI首席科学家王星星看来，智能化不足正是制约落地的根本原因，而破局的关键，在于利用VLA、WAM等技术，打通机器人物理交互的“最后一公里”。

但在难度更高的SWE-bench Pro上，Hy3以57.9分反超DeepSeek V4 Pro。

9、专访丨“在现代化道路上，中国与全球南方国家并肩同行”——访科特迪瓦发展问题专家比赫

商汤的产业积累为这次发布提供了独特的底气。

结合智能化带来的企业组织模式和管理模式变革，大力发展各类相适配的专业服务。

10、杀穿摩洛哥！法国三届世界杯保底四强，全员暴走仅剩伤病能拦

在RISC-V AI算力超节点发布前期，智东西与奕行智能进行了深入交流，提前深入了这款产品及其全栈软硬件解决方案的诸多技术细节。

对于整个行业而言，太空算力未来能否实现规模化商业应用，仍需要在计算效率、成本、安全性、网络调度以及实际应用需求等方面持续验证。

1、现场画面公布！菲律宾两艘公务船不顾中方一再劝阻和警告，执意侵闯中国黄岩岛管辖海域，中国海警驱离

硬件是一个容器，大家用的还是Agent服务。

2、行进中国丨“小积分”撬动乡村“大治理”

谷歌DeepMind也在持续推进AI与材料科学的结合，其推出的材料预测模型和材料数据库项目，利用机器学习预测晶体结构、材料性质以及潜在的新型材料组合，帮助科研人员缩短传统材料研发周期。

3、[视频]【“十五五”开好局起好步】强治理护民安促发展 全力服务保障“十五五”开局起步

Booster Studio：全球首款具身智能IDE 同期发布的Booster Studio是全球首款专为具身智能开发打造的集成开发环境（IDE），内置完整仿真环境，支持从仿真到真机的一键部署，实现从虚拟世界到真实机器人的高效迁移。5月12日！京粤大战第三场，许利民需明确轮换，杜锋能否创造奇迹商汤科技大装置事业群智算中心总经理林海认为，进入Token经济时代，AI基础设施的竞争正在“算力规模”迈向“算力效能”，算电协同Agent不仅是一套智能调度系统，更代表着AI基础设施已经不再是机房层面的设备运营，而是在整体链路上做端到端整体效率的提升。

4、广州豹站稳榜首，两队意愿强烈，宁波异军突起：2026中甲半程冲超格局

这一转变集中体现在三个维度： 第一，以AI智能体为代表的推理应用加速爆发，推理算力需求已超过训练算力需求，产业从基础大模型研发阶段迈入规模化应用阶段。

5、回迁房便宜几十万，我劝你别碰！这5个坑，住进去才知道多要命

他并没有直接给这个模型贴上“世界模型”的标签，但他认为，这已经踩进了世界模型的方向，既能够做推理，同时有想象力。

6、广州一工厂允许暑假带娃上班，还包午餐零食，老板：深知员工难处，只是腾个地方开个空调

它就像一座“算力集散中心”，把散落的、异构的算力资源统一汇聚、弹性调度、按需分发，为模型与应用层筑牢充足、稳定、可扩展的算力底座。

“菜篮子”产品供给充裕，数量、质量、品种都是很好的。

上周，月之暗面发布Kimi K3，其Intelligence得分仅落后于Claude Fable 5和GPT-5.6 Sol，在前端编程测试中甚至排到了榜首。

7、半场结束，中国男篮落后10分

此外，极豪科技通过剪枝、蒸馏和量化等技术，将模型算力需求降低超过1000倍的同时，基本保持算法精度不变，能更好地满足智能手机、智能眼镜和具身智能设备对算力、功耗及响应速度的要求。

得州奥斯汀规划的是第四代产线，马斯克给出的远期目标是第三代年产100万台、第四代年产1000万台 在电话会上，马斯克一直在强调，Optimus是特斯拉史上最难爬坡的产品，所有零部件全新研发，没有现成供应链，产能会走S型曲线，前段平缓而漫长。

8、球员谈季前训练：强调强度与团队磨合

形芯智能是一家专门做具身智能数据的第三方公司，副总裁朱军每天跟客户打交道，对数据短缺的体感最直接。

6月30日，据海外社交平台Reddit社区用户爆料，Claude Code内置了一段隐藏木马：它会读取用户系统时区，检查代理或自定义API地址中是否包含中国云厂商、AI公司、API代理服务商等关键词；一旦命中，就会悄悄改写系统提示词中的日期字符，在发往服务器的请求中加入用户难以察觉的标记。

根据双方公布的规划，合作将按照“单星验证—平台建设—星座组网”三个阶段推进：2026年内完成“商汤号”算力卫星首发组网；2028年计划建设星地混合云商用算力骨干网；2030年建设由千颗级算力卫星组成、总算力超万P的“商汤太空算力星座”，推动地面智算中心、在轨算力网络和应用场景协同运行。

刚找回的孔雀 “被冲走的都是圈养的食草动物，他们长期由人工饲喂，几乎没有野外自主觅食、避险、抵御天敌的能力，长期滞留野外极易病死。