在制作前，灵犀会调用记忆系统，给你推荐几种你喜欢的风格。

1、金年汇 人没被裁，反而晋升连连，因为他现在管的客户数量是以前的好几倍。

既然这项技术终将影响整个星球，理想状态下，这一框架能促使国际社会达成共识：如何管控最严重的风险，同时确保每个人都能获取并受益于AI带来的机遇。金年汇杨帆对此的判断是，中国搞太空算力的核心逻辑不是地面电太贵，而是全球还有大量地区没有3G、4G，要把AI服务渗透过去，星上算力是最有效的路径。

2、USL超级联赛球员与联盟达成初步协议，将签署历史首份劳资协议

采用NEO-unify架构后，商汤在今年4月率先发布了SenseNova U1一个轻量级的开源模型，并且在5-7月升级多个基于U1的infographic-V1、V2和V3版本。

3、梅赛德斯找到拉塞尔引擎顽疾症结，匈牙利站前已完成软件修复

言外之意很清楚：国产AI芯片眼下的处境，是各自优秀、各自孤立。

4、NASA给外星人寄了张金唱片：上面刻了地球的什么秘密？

这也是这次发布被卡着审查的原因之一。

5、萨拉森斯官宣新CEO：46岁南非前球员库切走马上任

闭环迭代不断强化低频复杂场景，显著提升模型在动态环境中的追踪与泛化能力。

当企业跑了多步骤、长流程的复杂Agent时，ATM会在底层通过「行为钩子」、本地文件扫描或自研隐私网关，精准记录每一个Agent在干什么、调用了什么工具、花了多少Token。

在前端代码竞技场，K3以1679分一举登顶，超越Claude Fable 5。

6、点球大战陈威两度扑点，海港晋级足协杯八强

目前，FDR超过名义水平的幅度（0.104 vs 0.1）相对较小，其对高通量科学的实际冲击力仍有待沉淀。

表面看，大家都在追逐「通用机器人」；真正把几份技术路线叠在一起，却是刀光剑影。

7、FIFA官宣世界杯最佳阵：金手套+最佳新秀双双落选，球迷怒斥“闹着玩”

遗憾的是，即便开启，也没有最好的结果可以报告，另一个网友使用了高推理强度，第一印象不佳。

第四步：终极绝杀——线性代数的降维打击（Lemma 2.2） 如何证明一定能找到这样的「两块车牌」？AI展示了它作为机器最强悍的一面——将拓扑图论问题，硬生生转化为了一个巨大的线性代数方程组。

8、五大平台直播滇蓉大战！论嘴硬，还得是约翰！乔迪：全队渴望拿下领头羊

这就像一个没有文字的部落：每个人都得亲历一切，谁也无法真正站在别人的肩上。

回过头看刚才的画面：货架取货的是人形机器人，高速抓取的是工业机械臂，线束装配的又是另一种形态。

不打「最强」牌 要性价比 Anthropic的这种打法，直接将矛头对准了GPT-5.6。

9、官宣！两年1600万荣归故里，黑鹰迎回三冠王朝传奇

甚至还有一个是开源的。

它知道菜谱的重点就是食材和做法，所以果断去掉了花里胡哨的背景，让人一眼就能抓住关键信息。

10、最新通知！事关邵阳市住房公积金

把两件事合在一起看。

这意味着加固需要按模型来调，而非一刀切地统一部署。

1、全球限产1963辆、仅一名车主 这台12年车龄保时捷里程仅5千英里

从云端算力，到真实的物理考场，再到一家家跑起来的门店与酒店，大晓正在把「朋友圈」变成一条真正闭合的产业链路。

2、美军连炸9天，全面大战即将打响，伊朗突发政变？穆杰塔巴先跑了

各有各的强项，也各有各的天花板： 领域专用模型（AlphaFold 3、ESM3）：在蛋白质等特定对象的预测任务上做到了极致，但能力也被严格局限在单一对象和任务形式上； 工具增强型通用模型（GPT-Rosalind、Claude Science）：凭借外部工具链灵活切入科学场景，但其科学能力仅寄生于工具，模型本体并未深化对科学的本质理解； 科学语言模型（NatureLM、LOGOS、BioMatrix）：试图将蛋白质、分子等转化为符号序列进行跨对象的统一联合建模，但目前的探索仍主要停留在表征层面。

3、梅西世界杯决赛后痛哭，阿根廷加时惜败西班牙无缘卫冕

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。路虎揽胜推全新电动GT：能翻山越岭的硬派，竟造了辆轿车？具身智能展区两百多家公司摆开阵仗，人形机器人遍地开花。

4、大数据显示西班牙夺冠概率近6成？别信！半决赛已两次打脸，终极悬念在意志！

主要就是，共同构建覆盖「算力基础—平台工具—模型能力—科研创新」的一体化科研服务体系，为生命科学、新材料、智能制造等重点领域提供高效、开放的AI科研支撑。

5、故宫公告：下周一免费开放

而Friar那把尺子，正是为这次切换准备的——当AI开始干活，衡量它的就不再是参数，而是干成了多少活、花了多少钱。

6、台湾将进行“汉光42号演习”，首度加入网络断网，国台办：在强大的人民军队面前，民进党当局搞再多演习都是装腔作势、吹哨壮胆_网易订阅

管云账单的，想搞清楚每个月这笔云钱花在哪、哪块最烧钱，一句话就出。

模型推理时，不同阶段对设备的要求完全不同——Prefill疯狂吃算力；Decode极度吃通信和延迟。

这是奇迹。

7、球鞋脱下那一刻，梅西的世界杯跳完最后一支探戈

不打「最强」牌 要性价比 Anthropic的这种打法，直接将矛头对准了GPT-5.6。

区域上，上海临港是核心枢纽，盐城是算电协同的区域试点，北京、天津、深圳、福州等节点逐步连成一张网，接入全国一体化算力网。

8、世界杯1/4决赛时间表：明天7月12日CCTV5直播，阿根廷PK瑞士

视频里，Chloe站在泰坦尼克号的三等舱甲板上。

Token，俨然成了这个时代最像「货币」的东西。

总结与展望 研究人员提出BadDLM，首个面向扩散语言模型的统一后门框架。

整机算力扩展区间，覆盖160 TOPS到320 TOPS。