新智元报道 AI竟黑了AI！ 这几天，全球最大AI开源平台Hugging Face，发布了安全事件披露—— 部分生产基础设施遭入侵，而这次入侵从头到尾，由一套自主AI Agent系统驱动。

1、亚娱体育 面壁智能、智谱等纷纷布局具身智能，是行业趋势。

耗时仅仅2.5小时，烧掉51美元。亚娱体育整篇报道中最具讽刺意味的细节是：在一家今年预计资本支出高达1800亿至1900亿美元的公司里，自家的工程师居然用不上GPU！ 华尔街的数据显示，谷歌今年第一季度的资本支出高达357亿美元，比去年同期翻了一倍多，这么多的钱砸下去买芯片、建数据中心，结果呢？ 面对这种乱象，谷歌正在试图亡羊补牢。

2、阿斯：科雷亚转会河床交易可能告吹，球员受到墨西哥方面威胁

而模型循环的威力，恰恰就来自这种「自己闭环」的本事。

3、波什：今年1月身体出了些状况 目前恢复良好一切顺利

这意味着只要Gemini的架构不大改，芯片就能一直用，新版本的参数照样灌得进去。

4、应急管理部针对广东、福建启动国家地质灾害四级应急响应

随着技术的指数级狂奔，它与教育之间的缺口只会越拉越大，最终要由此刻还坐在旧考试、旧作业、旧评价体系里的这一代学生来填补。

5、行业整车利润率低至1.5%，造车进入薄利周期？

有了磐石之后，它会把高度依赖人工脚本的跨组学联合分析，转成AI驱动的标准化流水线——过去要耗上好几周的活儿，如今几分钟就能跑完。

GDPS赛场上打磨出的好项目，有机会在WAIC被更多人看见。

而最耐人寻味的一处细节是，它的回退链，指向Opus 4.8。

6、杜锋下课连锁反应：广东男篮5将命运改写，3替补迎转机，2人恐离队

它证明了，在AI Infra这场长跑中，中国团队不仅能在单点技术上突破，更能在系统级创新和生态构建上，定义属于自己的、服务于全球AI开发者的中国范式。

定时任务、编排（orchestration）、反馈循环，这些做法早就有了，Claude这次做的，更多是把它们统一命名、归拢成一套分类标准。

7、VAR频现判罚引波澜 张玉宁林良铭助国安晋级足协杯八强

他准备好推文、截取好自制的榜单图片、买了一点初始的点赞和转发。

过去一年里，从o3到各家旗舰，一茬又一茬的模型冲上来，全卡在130的门口，谁也没能真正踏进「天才区间」。

8、CBA最新消息！北京首钢完成大调整，新疆男篮主帅确定

KSTAR 佟博士提出KSTAR，不只是为了描述一个智能体任务流程，而是为了提供一种企业认知进化机制。

能在完全不同的工厂标准、机器人品牌、集成商体系里都稳定落地，靠的不是把货卖出去，而是十年、27000套一个个磨出来的兼容性。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

9、火箭不敌公牛 乌度卡排兵布阵极度混乱 乌度卡的执教能力什么水平

数据最直观：MiniCPM-RobotManip单步决策仅需120ms，而pi0.5需234ms——后者时长几乎是前者的2倍。

另一派是实战派，代表是名为old-bielefelder的用户。

10、中国单日两金！连升5名超两位亚洲老对手，仍有3冲金点有望超日本

她的评价一针见血，Fable 死磕技术上的绝对精确，反而作茧自缚，Sol的务实却把活干成了。

LegionSpace: 本体工程与大语言模型的深度融合新智元报道 8万块积木，15个小时！ 一座长3.5米、宽1.5米、最高点1.1米的长城模型，要在15个小时内，从第一块积木开始垒起。

1、詹姆斯去哪？不重要了！哈登下赛季有三个开放结局，或能因祸得福

模型于是写出两份东西：一份把A的理由推到极致，一份把B的理由推到极致，他再自己做那个判断。

2、3000元现金、微博送票、专属折扣、打卡集印~玩转青岛主场！

为什么？ 答案藏在素因子里。

3、从顶棚争议到那些年他身上的幸运与特权，辛纳是不是真无辜？

最上层是「具身大脑」，由通用具身大脑ER和机器人Agent操作系统AgentOS构成，负责环境感知、任务推理、高层决策调度与记忆沉淀。荣誉之路，新星闪耀！2023HEAD超新星冠军赛北京站收官久而久之，企业可能越来越依赖模型供应商，而模型供应商却越来越理解企业。

4、他是亚泰本赛季踢中甲表现最好的球员！曾多次入选国足，值得期待

比如，现场Mech-GPT多模态大模型的人机交互单元演示。

5、官宣！曼城1.16亿镑签下英格兰国脚安德森，合同期至2031年

通往AGI之路上，比拼的不再是谁的长板更长，而是谁的系统能转得更稳、迭代得更快。

6、全力备战四国热身赛！中国男篮抵达海南海口立即投入训练曝光

而OpenAI的首席财务官，已经把这套算法用到了对手身上。

AI 创意：接入以 Seedance 2.0 为代表的多模态大模型，自动生成多语种短视频、图文素材和广告脚本，从选题到成片的效率压到分钟级。

但到了企业这里，就会变成一句「我的订单到哪了」和一份上百页的合同条款审查，烧掉一样贵的Token。

7、最佳新秀没跑了！轰34分6板4助成江苏头牌，名记：全明星大有希望

Anthropic前不久还上线了Routines，把同一套机制搬到服务器端，合上电脑，它照跑不误。

她甚至直接点破了「token单价」这个幻觉：最低token价格 ≠ 最低结果成本。

8、随着女篮86-76南苏丹，世界杯晋级形势变了：宫鲁鸣迎关键抉择

于是，模型学到的，就是那副腔调。

他不认识任何编程语言，却借助小浣熊捏出一套「总工之眼」，让二十年的隐秘经验，破天荒变成可复制、可结构化的数字资产。

官方宣传页上白纸黑字写着「local-first」——本地优先，你的代码留在你自己电脑上。

两套体系给出了一致的结论： GLM-5.2（2026 年 6 月发布）在窄任务上的表现与 Opus 4.6（2 月发布）相当，差距 4 个月； 在 Cyber Range 上追平 Opus 4.5（去年 11 月发布），差距 7 个月。