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

1、火狐官网 把两件事合在一起看。

这20%，是自动化最难啃的骨头。火狐官网他还编造了180人的研发团队和辉煌的创始人履历，声称使用了上万张昇腾算力卡，热度蹭得太准了。

2、伍斌任福建省副省长

核心官方分论坛之一、具身智能的「华山论剑」智启具身论坛，今日终于开场。

3、阿根廷职业联赛Clausura首轮：飓风迎战班菲尔德，近5次

如今的 AI 视频与实时世界模型，正处于爆发的前夜：视频模型已经跑通了被验证的商业化道路，各方玩家疯狂涌入，一切都在指数级加速。

4、35岁格列兹曼：曾是马竞队史射手王，如今在奥兰多开启新生涯

游戏网络编程领域的资深开发者 Glenn Fiedler，是哦哦游戏网络编程领域写了二十年教科书级文章的大佬，最近用 Claude Code 对自己维护的四个开源网络库（yojimbo、netcode、reliable、serialize，合计约 6000 个 GitHub Star，在游戏领域已属相当有影响力的老牌开源大库）做了系统性安全审计：部署 libFuzzer 目标、上线 AddressSanitizer 和 MemorySanitizer CI、执行数百万次迭代的压力测试、逐行代码审查。

5、别只顾着迪班萨、布泽尔，第4顺位的他如今24+7+3，同样值得关注

新智元报道 AI竟黑了AI！ 这几天，全球最大AI开源平台Hugging Face，发布了安全事件披露—— 部分生产基础设施遭入侵，而这次入侵从头到尾，由一套自主AI Agent系统驱动。

这在商业上可能是一个正确的选择，但它不该永远藏在黑箱里。

第二题：模拟太阳系，共用一个「时钟」 再来测试一个交互类的，让V2.5徒手捏一个太阳系。

6、定制改装1974款福特Bronco：5.0L V8加身，内饰全面翻新待售

依靠这种直觉，它在开放环境自主导航任务中创下92.9%的成功率，做到了城市级的长程自主导航。

而GPT-5.6最抢眼的几样新东西：max档更长的思考、ultra默认四个智能体并行、更大的上下文窗口，恰恰全是吃token的猛兽。

7、红牌说撤就撤？特朗普强改规则惹众怒，一比四惨败沦为国际大笑话

认错几小时后 CFO递上一张账本 巧的是，就在奥特曼发帖的同一天，OpenAI官网上线了另一篇文章。

然后全量翻译，跑「实现—评审—修复」的多智能体循环；最后编译、运行、逐一比对行为。

8、2190天，NBA中国赛回归！但央视的“静默”说明一切

服务器一重启，磁盘上700个碎片就成了无主孤儿。

一个叫Chloe的创作者，真的做到了。

打个比方：训练场里练出10分功力，换个环境，ICL只剩1.5分，WAM-TTT还稳稳握着7.6分。

9、阿根廷总统：举标语最多罚款3万美元，会通过外交途径收复马岛

第一发点球，瞄准、蓄力至峰值，起脚射门；攻守互换后，看准反应槽指针，顺势滑屏，可惜手速慢了半拍，扑救失败。

大学那套考评，考试、论文、作业，几百年来立在一个隐形前提上：这些事太花时间，没人会走捷径。

10、美国VS比利时：美国主场优势大，比利时今不如昔取胜难度极大

从目前流出的信息看，V4大概率不会是那个「全项第一」的模型。

因此，Skill是企业「如何完成一件事」的可计算表达。

1、转会窗：尤文引进穆阿尼受阻，凯利或回英超，鲁加尼何去何从

但这个逻辑有问题。

2、阿隆索哭晕！切尔西 5500 万头号目标遭截胡！打脸来得太快！

这是这个时代绕不开的背景音。

3、RSS20260724文章加视频4

此芯的解法，是坚持了多年的「一芯多用」：一颗高性能智能体CPU，配上不同的操作系统、不同的大模型和软件，打进消费、工业、车载、边缘四大计算场景。沉寂23年 1968年玛莎拉蒂总裁手动挡项目车无底价寻新主对于正在把智能体塞进企业流程、科研自动化、代码流水线的所有人来说，安全风险的方向正在悄悄改变： 从「这个模型输出安全吗」，变成「这个拿到了权限的智能体，会不会背着我动手」。

4、葡萄牙新帅出炉！71岁恩师执教葡萄牙，C罗或推迟退役计划？

但今年，这道门槛被打穿了。

5、危急时刻，邵阳汉子跳水救人

它提供了一个极佳的产业切片，向外界展示了全球首个全栈具身技术体系是如何将世界模型、基座模型与具身Agent架构耦合为一个「有机生命体」，并实现落地的。

6、国安又遇甘肃草根儿球队了！三人才推走冯伯元，陕西再输青年人，陈涛悬了

」 马也骋补充了一个技术视角：「机器人策略必须在本地运行，对延迟极其敏感。

本次论坛上，商汤给出了一个听起来有点反常识的答案：不造更强的卡，而是把比赛拆开，让不同的卡接力跑。

最终输出的，是各自领域里「原生形式」的、可被验证的结果。

7、国安久违强援本轮刚亮相登场！就被主帅点名表扬，直言他很出色

它意味着机器或许正在跨过那条线——从「反复搜索、终于找到」，走向「一次落笔、一步不错」。

孤儿院视频、假奖项页面，则被悄悄抹掉。

8、英国公开赛福克斯绝杀夺冠 舍夫勒T4小麦T40

用一把AI能轻松通关的尺子，去衡量下一代人的能力，量出来的数字还剩多少意义？ 这才是奥特曼真正焦虑的地方：学生用不用AI不是最要紧的，会不会验证AI，才要紧。

它们，才是你在AI时代留下的资产。

如今，算力的胃口，早就涨得比供给快。

参考资料： https://x.com/synthwavedd/status/2077085180175544375?s=20 编辑：桃子新智元报道 刚刚，诺贝尔奖得主、DeepMind掌舵人Demis Hassabis掷地有声地宣告： 通用人工智能（AGI）即将实现。