但这丝毫不减损这个事件的冲击力。

1、火博体育 谁的额度更松，谁的用户和使用量就更多，谁收到的数据也就更多。

第二，AI让写代码更快了，但「更快地生产漏洞」不是行业想要的答案。火博体育这哥们儿把全部制作流程公开了，核心逻辑只有一句话：把Grok Imagine当成一个真实剧组来用。

2、中乙综述丨第17轮

这意味着，谷歌彻底丧失了对Gemini CoT的监控能力！ 军方内部根本没有受过专门AI对齐训练的工程师去实时监控这些隐秘的思维链。

3、被CBA多队疯抢！山东被曝欲卖掉谢智杰，广东队成最大潜在下家？

在此框架下，本体的构建须面向大语言模型的调用接口进行优化——其类定义与关系描述应便于模型理解与使用，结构化知识应便于模型检索与引用，约束规则应便于模型进行输出验证。

4、队医｜半月板撕裂只是一次挫折

逐际动力创始人张巍的判断截然不同：纯大模型就像躺在病床上的霍金——极其聪明，具备强大的思考、决策、认知能力，但无法自主行动。

5、真解气啊！中国男篮5打8！大逆转日本！裁判太黑了

当宾夕法尼亚大学沃顿商学院的副教授Edgar Dobriban试图用AI攻克这个堡垒时，事情开始变得诡异。

翻译过来就是，连造它的人，都没打算让它变成这样。

Hassabis在Google I/O大会上 这边，Hassabis说还有几年，另一位硅谷大佬两个月前已经宣布：那条线我们早就悄悄跨过去了。

6、独家专访｜斯沃琪集团CEO尼克·海耶克深度解读Royal Pop“联名旋风”

至于那个迟迟不来的旗舰、和刚刚开跑的Gemini 4，都还是「期货」。

它不必自己猜「差不多了吧」就过早停手，循环也能干净利落地收尾。

7、WAIC，机器人变了

大脑系统要证明的，是机器人能不能像人一样连续、稳定地干活。

直到项目负责人Maya做发布前核查，逐条追问「这次跑的是不是批准的向量包」，Gemini才招供：实际加载的向量全是零，等于什么都没消除。

8、米卢：我希望在下一届世界杯能看到邵佳一带领中国队出战

大脑用两套互补的记忆在工作：以海马体为核心的快系统，能把一次性的具体经历迅速抓住，这就是情景记忆；以大脑皮层为核心的慢系统，把成千上万次经历里反复出现的规律慢慢沉淀成概念与常识，这就是语义记忆。

而现在，OpenAI转手就给每个用户端上了一个「随便搜」的功能。

一轮轮打磨下来，模型就自己长出了「下一步该干什么」的判断。

9、场均29+7，MVP排名前5！却屡次成了球队交易的牺牲品

ATM Token管控系统，则直击企业痛点，填补了国内Token FinOps的空白。

剩下20%的深度问题，则会再转交对应的垂类智能体。

10、医生说他的肩膀再也不能发出有威力的球，但他还是强势回归并捧杯

蛋糕在变大，但能分蛋糕的人在变少。

银河通用首次在顶级会议ICCV发布WAM模型，全球首次打破壁垒。

1、CBA狂野一日！2笔重磅交易诞生，6人完成签约，徐杰林葳互换被辟谣

更糟糕的是，这种混乱和挫败感，直接导致了顶尖人才的流失。

2、广东男篮最新消息！朱芳雨邀请米切尔执教，曾繁日有望回归，徐昕确定出国打球

但U1 Pro不一样，它干起活来更像是个会思考的设计师。

3、《梁祝》作者陈钢去世，“歌仙”父子成就中国音乐传奇

但U1 Pro的成图，直接把这两座大山给推平了。AI竞赛并非单维竞速关键的一步，Bloom后来在讨论区里点破了：把一个非负函数做卷积，再在时间上平移1，表达式一下子就光滑了，原本硬啃的地方顺了下来。

4、狼队安排徐彬去青年队踢比赛，球迷却不买账，直言还不如踢中超

K2系列已采用Modified MIT许可开源权重，K3预计延续这一路径。

5、【CBA联赛】季后赛1/4决赛G1｜浙江稠州金租95-108不敌深圳马可波罗

最初的Frozen芯片由Google DeepMind首席科学家Jeff Dean主导，思路更离谱：直接把模型权重烧进芯片。

6、值得「纯」爱_网易订阅

加入供应商矩阵，产品、技术与品牌将直达千万年轻高知群体，触达数百支全球顶尖赛队与头部企业，在真实场景中共同进化，即刻共享场景落地快车道。

但检索，并不等于记忆。

今年6月，两家海外Cloud公司各自提出的解法，与无问芯穹隔海共同呼应了「Agent时代到底需要怎样的AI基础设施」这个命题。

7、中国男篮最佳归化目标！NBA选秀预测前十顺位，大学生涯场均16+5

7月16日，Anthropic又给它加了关键一手： Artifacts可以调用MCP连接器了。

少写状态更新，多干正事，这可能才是Artifacts最不起眼、却最实的价值。

8、热火追求字母哥后还想抢8200万冠军侧翼，却被老鹰半路截胡

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

当然，必须指出的是，这次AI证伪的是三维雅可比猜想，也就是否定了「所有维数都成立」的广义版本。

代码仓库里装的密钥、配置文件、内部接口、数据库密码、没发布的功能、商业机密，全在里面。

WAIC现场亚毫米级线束装配，就是「手」的极致体现。