现在已经改回去了。

1、米兰体育 要求复用仓库现有的YAML解析写法，以兼容当前响应处理……」 Agent接收到需求后非常「听话」，为了保持代码风格一致，它在生成的opensearch.rb文件中，直接调用了Ruby中极其危险的YAML.load方法。

Figure 把端到端模型做分层，Skild AI 用一个通用模型控制所有机器人，大量创业公司把 VLA 当大脑——回答的都是同一个问题：如何造出更强的技能。米兰体育泡沫退去，真正的洗牌，才刚刚开始。

2、车祸后首战！约书亚本周末迎战普伦加，富里大战前最后热身

模组化、可扩展的开放式硬件架构，支持M.2、MXM、PCIe等多种AI算力卡形态，已深度适配天数、后摩、原粒、智辰、光羽等多家国产AI芯片，同时兼容半高旗舰显卡。

3、汉密尔顿9次杆位和8胜，4.381公里赛道纪录仍无人撼动

模型规模扩大可以提升部分规则清晰的任务，例如原子替换、删除和移动；但面对旋转、区域删除、扩超胞等需要三维空间理解和几何规划的操作时，提升并不稳定。

4、尤文国脚报告：小孔塞桑麦肯尼出局，已有6位尤文国脚告别美加墨

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

5、男篮2个热身赛对手确定，3场比赛具体赛程出炉，杨瀚森面临选择

大会结束后，IASEAI的管理层悄悄取消了公开承诺的成员投票。

银河通用在不到两年的时间里，以惊人的速度，完成了具身智能技术与产业应用闭环的「三连跳」。

不像大语言模型，基本范式已经确定。

6、本周六江苏五场足球联赛开赛，出行观赛注意事项速看

不像语言模型可以云端调用API。

但是由于人类具备空间常识和安全意识，即便出现地图偏差和定位漂移，也不影响正常使用，而机器人如果进入开放环境遇到这种问题，将对安全性造成巨大风险。

7、伊布点评足坛新格局：姆梅哈轮流坐庄！这一代球员正在颠覆足球历史

真实威胁中的后门究竟想要什么样的输出？一个容易被忽略、却至关重要的问题是：后门的目标输出不应是「一条固定文本」。

8万多块零件，15小时不间断，每一块积木都需要被稳稳按进它该在的位置。

8、3粒进球被吹！国安2-2战平残阵上港，VAR出尽风头

通过老式邮局玻璃、雨水与薄雾的多层折射，将这三位叙事人物精妙地隐藏在倒影中，空间景深与悬疑张力直接拉满。

在处理上下文记忆时，Token的极致压缩让MiniCPM-RobotManip计算成本也大幅下降。

重点来了，代码生成后，我们直接点击「扫一扫，检查代码隐患」卡片，Qoder的安全引擎瞬间拉响警报，精准指出代码中的反序列化风险。

9、《教育发展“十五五”规划》系列解读⑦：如何以高质量教师队伍引领教育高质量发展？

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

过去大量被检测漏掉、直接混入仓库的风险，现在在编码阶段就能被拦截。

10、曝詹姆斯阵营对萧华推动感到“恼怒”，决定推迟最终去向宣布

从20到500，Anthropic盘算的是，什么时候能把agent变成和操作系统一样基础的东西。

然而，卓越的模型能力并非终点。

1、落选秀逆袭终获首发，28岁红雀近端锋沃科莱克因颈伤被迫退役

他还在X演示自己的循环：让Codex每5分钟醒一次，自动维护代码仓库、分派任务，部分工作全自主落地。

2、【瞰体育】平庸、自负、悲情——世界杯离场者三种表情

一个用图表证明自己更划算，一个直接把闸门开大让你自己试。

3、湖人330万签下防守奇兵：场均2+抢断，臂展如开挂

分工口诀就三句：有明确终点，用/goal；按周期重复，用/loop；要一直跑到某个条件达成，两个叠着用。不选杨瀚森当核心，不是因为胡金秋更强，而是他和我们认知不匹配她给出的答案是一把新尺子——Useful Intelligence per Dollar，每块钱买到多少有用的智能。

4、LIV高尔夫拖欠百万美元被供应商起诉，沙特金主断供后陷入财务危机

但这套打法的红利，正在肉眼可见地变薄。

5、博塔弗戈官宣签下多明戈斯·安德拉德，合同至2029年

对非触发样本，、，目标退化为标准训练，从而不影响干净效用。

6、2-1，中超13轮不败！青岛西海岸3进球被吹，海港张源鲁莽铲球红牌

1950年提出，此后七十多年里它一直是判断机器智能的黄金标准。

终局是什么？一万个人读同一本《几何原本》，一万个大脑长出同一套几何直觉。

在同一任务的多次rollout中，VLA模型的执行步数存在显著波动，说明更短、更直接的成功路径是可达的，但当前策略往往只能偶然找到。

7、备战男篮世预赛第二阶段，若召回4人+淘汰4人，出线形势有望改观

一个人类数学家会怎么处理这道题？ 他会先试那个最自然的做法，检查一遍线性代数，发现不行，然后耸耸肩，心里想一句「本来也没指望能这么容易」，起身走人。

参考资料： 关于发布7款提供手机端侧生成式人工智能服务已备案信息的公告 编辑：马可新智元报道 扩散语言模型（DLM）正逐渐成为自回归（Autoregressive, AR）语言模型之外一种新兴的建模范式。

8、放弃斯通斯孔萨！阿森纳 5500 万锁定完美中卫，实力碾压两大目标

他手上有几十个Loop常年在转： 一个专门盯着他的PR，自动修持续集成（CI）、自动变基； 一个负责让CI保持健康，哪个测试不稳定，它自己去修； 还有一个每30分钟去X上扒一遍用户反馈，聚类整理好了再提交给他。

丰田、BBA们现在按兵不动，不代表没有在暗中磨刀。

相机轨迹告诉系统当前是探索还是回访；局部动态告诉系统时间上下文该长还是短；历史可靠性决定空间记忆能否参与生成；去噪稳定性决定哪些计算可以复用。

此外，「模速空间」大模型创新生态社区、上海漕河泾新兴技术开发区及上海青浦国科创智经济发展（集团）有限公司，还将联合为大赛优秀项目提供产业孵化园区场地支持，助力团队就地落地发展。