但其中一个企业只是让员工不断调用模型，生成文档、写代码和回答问题。

1、kaiyun官方 Cursor，无疑将成为她大展拳脚的新阵地。

而对平台厂商、安全审计方与研究者而言，SafeClawArena提供的更是一把可复用的尺子：判断一个Claw类智能体究竟违反了哪几条安全原则，并据此排定加固的优先级。kaiyun官方合并之后冒出19个回归，如今也全修完了。

2、每天睡前这样“躺练"5分钟，矫正了骨盆前倾，小肚子收回去了

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

3、冲甲之争，隔空暗战！泰山B队逆转赛更达，6连胜领跑！上海海港富盛经开2-0长春喜都

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

4、15+1！火箭队16人阵容出炉：2位旧将正式续约，附全新球员名单

最先被改掉的，其实是协作方式。

5、极致反差：姆巴佩荣膺世界杯西甲和欧冠三大金靴，却没有一个冠军

参考资料： 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机器人执行效率的方法，无需重新训练。

跨物体——不只认识规则工业零件，还认识几百种日化、食品、玩具、文具，连透明的、柔软的、反光的都能识别。

Beck自己当年也没算，而依他的判断，如果那个常数值得一提，Beck不会不算。

6、世界杯决赛预测：传接精准度和中场是决斗场，但胜负手在板凳深度

敢押佛得角的底气，藏在基座里 看到这你可能要问了，既能押中黑马，又能完成巨幅战报图，靠得是什么能力？ 答案就藏在它背后的商汤日日新SenseNova大模型体系和集成其能力的的Skills。

对p=2，v₂(12) = 2，v₂(18) = 1，gcd = 1，贡献2¹。

7、全球首次成功回收！怎么做到的？

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

爱诗科技创始人兼CEO王长虎提出了一个犀利的观点：游戏是世界模型的硬核试炼场。

8、大山里走出来的23岁博士研究生，确诊胃癌晚期

时机选得明明白白——偏偏挑在诺兰票房最风光的这一周出手。

机器速度对机器速度，人类只负责按开始键。

Claude Code能一口气连上数百个外部工具，Issue系统、监控、数据库、内部系统，不用再手动复制粘贴进聊天窗口。

9、阿贾克斯官方宣布巴西中锋莱昂纳多加盟 转会费2500万欧元

从S1-Omni到ScienceOne 把模型装进科研现场 有了懂科学的模型，下一个问题是：怎么让科学家真的用起来。

」 结果就是，指令频繁变动，多个部门重复造轮子，难以形成合力。

10、引沪上“活水” 育莲乡“金莲”——上海农商银行湘潭县支行十五载金融赋能实录

」 限速高墙轰然倒塌 重置之神狂踩油门 干出这等好事的，正是Codex和ChatGPT的掌门人Tibo。

我把积攒了三个月的报销明细（大概200多条）扔给灵犀，说「帮我按部门、按费用类型分类汇总，标出超标的项目，生成一个可以直接交给财务的Excel。

1、西班牙1:0绝杀葡萄牙 名嘴詹俊做精彩点评并盛赞一人 并非梅里诺

而商汤想踩下的第三级台阶，是「美」，即通过专业级的设计美感，达到真正的工业交付标准。

2、​拉波尔塔表态拉菲尼亚留队，巴萨锋线重组不换核心

这只是奥特曼的担心，还是已经在发生的事实？ 有研究显示，ChatGPT进课堂后，月考成绩半年内掉了约20%；真正决定前途的高利害入学考试，成绩分别下滑18%和24%，而且这笔账要拖上两年才慢慢显形。

3、省委安全生产考核巡查组第一组进驻株洲市开展三季度明查暗访

用一把AI能轻松通关的尺子，去衡量下一代人的能力，量出来的数字还剩多少意义？ 这才是奥特曼真正焦虑的地方：学生用不用AI不是最要紧的，会不会验证AI，才要紧。盛艳任南通市副市长领投方是恒旭资本，跟投方包括南京创投、新四军基金，A股上市公司东睦股份作为战略股东深度参与。

4、订单15万，大唐唯一挑战是产能？比亚迪调整布局，突破利润天花板

一旦评估规程被证明行之有效且足够稳健，就可以迅速将其正式化。

5、上新

论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

6、三伏通三焦！10分钟排毒排湿瑜伽，胜过跑步1小时，淤堵打通了

行业习惯了按Token计费，也就是按燃烧的算力收钱。

他在X上写道： 目前为止，GPT-5.6 Sol是我见过数学上最有意思的新模型。

洗衣、巡检眼下并不止大晓一家在做，但它的落点不太一样： 卖的从来不是某一款洗衣机器人或巡检机器狗，而是那颗能装进不同本体的「世界模型大脑」。

7、C罗再黑梅西！点赞反华机构“国际足联保送阿根廷”的谣言！

推文链接：https://x.com/satyanadella/article/2066182223213293753 这篇文章中最重要的概念，是他提出的Token Capital。

Flexion Skild AI 的展示以跨形态、跨任务的能力片段和 in-context 适应为主——广度取胜，并未展示长程全身移动操作能力。

8、“爱岗爱企”典型丨金桥煤矿刘增光：匠心守护“光明”

编码过程中弹出一张建议卡片——「扫一扫，检测代码安全隐患」。

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

闭环随之成立，世界理解拆解长程任务、评估环境，平行空间推演物理因果、演算多种策略，挑出最优动作输出，执行后再做结果评估并反馈回模型。

当不确定性如此之大、赌注又如此之高时，带着「审慎的乐观」稳步前行，才是明智且正确的策略。