发一条Slack消息、更新一个issue，这类会真去改动外部系统的操作，能做成一个按钮直接放在页面上。

1、星空官方 DeepSeek V4-Pro 在窄任务上对标 Opus 4.5，差距 5 个月。

Bloom还特意强调，这不是因为AI动用了什么更复杂的武器，而是我们原本以为，这道题比它实际上难得多。星空官方诺兰本人则压根不接招。

2、AMD与Cerebras联手推AI推理硬件，后者股价盘中涨11%

最新的数据进来，共识变了，它就跟着修正了自己。

3、能用10年的好东西，我也太会买了！

传统大模型系统往往停留在生成内容。

4、卡内达：王玉栋崛起之后，埃弗拉还有必要登场吗

真正决定一家企业能走多远的，是下半场的新法则。

5、德国拒服兵役申请暴增：上半年已超去年全年

业界习惯「对的留下、错的扔掉」，KwaiKAT偏要在失败里淘金—— 很多失败其实只差临门一脚，方向对、定位准，就缺一个关键判断。

还有一个关键设计，就是双Agent协同架构。

而放眼全球，具身智能行业的头部玩家们，早已敏锐捕捉到风向的转变。

6、黄山市徽州区举办践行“四力”采风活动

当时，Anthropic拒绝了这一霸王条款，结果遭到「切断供应链」的威胁。

雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

7、安徽16岁考生提前批上岸：华中师大公费师范生，物理类664分

FigJam的形状、便利贴、光标聊天、表情反应，一笔一笔都是她画出来的。

今年的WAIC，含金量可谓空前。

8、斯伦贝谢(SLB.N)：预计第三季度全球收入将环比增长3%-4%，在基本情景下，中东地区收入将逐步恢复。

但就在决赛开打的前一天，它悄悄把答案改成了——西班牙。

迁完之后，同样的编译只要2秒，二进制启动快了6倍，还顺手退役了一整条部署流水线。

截至目前，超维动力又将数万小时的高质量数据交付给多个行业知名合作伙伴。

9、女篮之光！李沅珊30分罚球绝杀斯洛文尼亚 场均21.5分世青赛得分王

金山办公章庆元在发布会上说了一句特别到位的判断——如果你用的是Claude，能记住你使用习惯的是Claude这个软件，不是大模型本身。

创业慧康做了三十年医疗信息化，手里有7000家医疗机构和2.5亿份居民健康档案。

10、战报

对应北京时间为2026年7月12日晚上11:09。

3. 从小步快跑开始。

1、嚯！35家大型央国企实测后，因果世界模型落地了

WAIC展馆里两百多家具身智能公司争奇斗艳。

2、紧急预警：“同城约炮”全是骗局 又有2中卫人被骗，最多被骗20万元！

开发者们信了。

3、生物爱子-量子比特纠缠脑机接口

持续抓握十分钟，表面最高温度不超过人类体温。4年2.12亿！正式锁定！NBA休赛期最烂合同聊完那一刻价值最高，过了一周，基本等于沉进海底：你明明记得自己讨论过某个方案，却怎么也捞不回来。

4、曝演员片酬从2亿降到最高2500万引爆网络热议

面对新环境，传统的监督型微调（SFT）或上下文学习（ICL）方法，本质上是在强行修改机器人的「大脑」参数。

5、余文乐发文宣布离婚：感谢你作为妈妈作为妻子付出的所有

围绕这一判断，公司形成微型伺服电缸＋仿生多自由度灵巧手＋灵巧操作场景解决方案」的全栈布局。

6、19岁全红婵最新亮相！暴瘦14斤后颜值飙升 长发披肩太温柔 灵气十足

没有ΔR，所谓持续学习很容易退化成无目标的模型微调。

Karp的核心观点可以概括为： 企业不能一边向模型公司支付费用，一边帮助模型公司理解和吸收自己的核心价值。

具体来说，Qoder Security是如何运行的？下面就是一个生动的例子。

7、IPO新观察

大语言模型凭借其从海量文本中提取语义模式和知识关联的能力，正在从根本上重塑本体工程的实践形态。

更有趣的是，宇树G1和智元远征A3轮番上阵。

8、尼克斯27年史（八）：破晓前的黑暗

同时，团队还采取了算子融合的方法，将其在NVIDIA H20上的推理帧率进一步提升至36.77Hz。

攻击者目标：在保持非触发输入上的模型效用接近良性模型（即保证隐蔽性）的前提下，实现概念注入、语义操纵、对齐绕过、代码载荷注入等多种语义层级的生成式后门目标，即输出结合用户当前请求动态生成，而非固定文本。

速度已经给出了答案：很快。

Opus 4.6，是那个干活的。