参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

1、迈博体育 满足了猜想的前提条件，那么它可逆吗？ Fable 5简单明了地指出了它的非单射性——这个函数将空间中三个截然不同的点：(0, 0, -1/4)、(1, -3/2, 13/2) 和 (-1, 3/2, 13/2)统统映射到了同一个图像点：(-1/4, 0, 0)。

据悉，自1989年中国队首次获得团体第一以来，今年已是第26次登顶，连续8届有队员获得满分金牌！ 此外，还有1位英国、1位韩国和2位美国选手，获得IMO 2026满分金牌。迈博体育所以，循环是一整套「怎么把AI管住」的设计，而不是「撒手让AI乱跑」。

2、创新驱动发展 临泽知识产权助力产业发展提质升级

越用越强：自进化的飞轮 HMS还有一个容易被忽略但极其关键的应用：自进化。

3、瓜迪奥拉解读梅西伟大：赢尽一切仍为失败落泪，仍保有最纯粹的求胜欲

加州大学伯克利分校分析50多万条成绩：ChatGPT发布后，写作、编程类课程拿A、A-的比例明显抬升（蓝色显著为正），B+及以下几乎纹丝不动。

4、世界杯1/4决赛时间表：明天7月11日CCTV5直播，西班牙PK比利时

首轮测试已出 如今，DeepSeek V4（GA）首轮测试demo，已经开始外流。

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

没人想到的是，它其实是一份提前三个月写好的入职宣言。

6、梅西发文倾诉决赛之痛：我为球队连续两届闯入世界杯决赛而骄傲

Noam Brown指出：「增加模型的TTC（让它思考更长时间）能带来更高的智能。

Flexion 比较特殊——它提出的 Command / Motion / Control 三层自主栈，架构范式与 COSA 的 S2 / S1 / S0 高度趋同。

7、“政策+数智+生态”齐发力 金塔激活青年就业创业新动能

一台名叫W1的机器人，在仅75厘米的极限过道里穿行，识别货位、逐件拣选、装箱、交付，一气呵成。

来源：Information 无独有偶，亚马逊员工也开始狂刷「AI KPI」，甚至让AI Agent空转几个小时，只为把名次往上顶一顶。

8、谁在收割红利？谁在承压出局？多家A股纺企预计上半年净利大幅增长

大晓这次拿出的，是「晓满」一体化履约方案，和专为这个场景造的履约机器人W1。

他甚至预测，再过一年，防提示注入、命令校验、人工审批这些安全环节都会没那么重要，因为模型会越来越自觉地做对的事。

数据主权不等于认知主权 当前大多数所谓的「主权AI」方案，关注的是几个问题： 数据是否留在境内； 模型是否私有化部署； 计算资源是否自主可控； API 是否经过安全网关； 企业是否能够选择不同模型。

9、喷气机最大漏洞不是四分卫？角卫被指才是2026赛季最大短板

自WAIC举办以来，这是首次由国家最高领导人出席并发表主旨讲话。

这些环境里的变更类型，涵盖了缺陷修复、功能补齐、接口兼容、跨模块联动与回归修复，几乎复刻了真实开发中会遇到的各种场景。

10、转会窗：尤文考察巴洛贡和奥亚萨瓦尔，戴维渴望留队

让页面真正活起来的 是MCP 模型上下文协议（MCP）是Anthropic推的一套开放协议，专门解决一件事：AI怎么连上现实世界里的软件。

COSA 负责「大脑系统」，FluxVLA Engine 负责让这套系统的 VLA 技能可被训练、复用、被反馈、被迭代。

1、看最贵的球，开最快的车，我看到最真实的世界杯

效果用攻击成功率（ASR）衡量，效用用MMLU（5-shot）等基准衡量。

2、多地官宣：结婚，发钱

不加说明就是噪声，标清坏在哪就成了错题集。

3、他来了！齐达内确定执教法国队：签约至2030年 团队规模或超25人

Anthropic有条硬规矩：Claude只对18岁以上开放。文化中国行丨2026年阿勒泰地区“祖国情·中华行——龙泰号援疆研学交流活动”启幕这才是「反思」落到实处的样子。

4、顶级巨星格局！费迪南德称赞姆巴佩：放弃单打独斗，优先成全队友

而有60秒记忆的模型，便能把它放回去。

5、金球先生加盟？德媒：皇马管理层做出决定 将签下罗德里合同4年

合并之后冒出19个回归，如今也全修完了。

6、费城人放弃补五号先发 想升级更高水平投手

通用大模型的底层逻辑，是基于统计的「概率」。

挑战赛设置高通量药物虚拟筛选、靶向分子设计、蛋白质构象系综生成、神经算子自动改进等前沿任务，部分参赛智能体方案在竞赛范围内展示了具有挑战顶级水平的架构设计理念和问题理解深度。

可以在开放环境下零样本指令跟随，并且抗各类人物穿梭干扰，同时可以在无网/弱网环境（电梯/停车场）下流畅跟随。

7、OpenAI失控入侵美国AI平台，中国开源模型救场化解危机

毕竟谁也不想等海报贴满了大街，才猛然发现角落里还躺着一个错字。

安全这块：每个Artifact默认只对作者自己可见，想分享才分享，而且只有组织内认证过的成员能看，做不成公开页面，管理员那头还能统一管权限、设保留策略。

8、伊布拉希马·西索科重返荷甲，签约PEC施禾利四年

Grok Build是SpaceXAI旗下的AI编程agent，今年5月刚上线。

张益唐当年研究的是二维情形，而二维并不是三维的简单低阶版本——恰恰相反，二维是这个问题里更核心、目前看来也更难攻破的部分，数学意义更大，至今仍未解决。

VLA在做，世界模型也在做，这完全不冲突。

同样的架构，数据量大出一个量级，效果就是碾压。