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

1、云开体育 历史次元壁被打破的那一瞬间，很多「亲历现场」的观众，开始落泪了。

必须给出具体的引理、构造、方程式或反例。云开体育第一问，Wagner在1980年拿下。

2、超级小年！美媒重排24届新秀：扎克-伊迪冲到第四，卡斯尔登顶

可当所有智能都跑在云端的数据中心里，AI基础设施就真的到头了吗？ 无问芯穹的答案是没有。

3、欧阳卫民被查

高维开局，降维打击： 拆解小象电动的战略节奏 不过，宝马的M3属于百万级性能车，对成本不敏感。

4、2026澳大利亚网球公开赛正赛签表出炉

也就是说，同一批国产算力，现在能硬抗接近翻倍的业务量；反过来，企业也可以用更少的卡，撑起同样规模的服务。

5、排球专家，大赞中国女排一人：不辱使命，激活全队

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

从一个仓，到一座城 体系一旦跑通，就不会只待在一个仓里。

（图源：RAND） 备课、上课、改作业、填表、开会，一大半拖到晚上和周末。

6、温氏股份：实际控制人近亲属拟不低于1000万元增持公司股份

公元44年，古罗马。

一场豪赌 但十倍能效，不是白拿的。

7、使用富士X100VI的第三年，我拍了这些照片

跨任务——搬运、分拣、装配、取货、协同作业，不需要每换任务就从头开发。

这种感觉则像「换了个人在跟我说话」。

8、e&成功完成Vodafone股份出售，实现59.5亿美元现金收益

所以U1 Pro把原生分辨率顶到了8K。

而学校那边，还在用同一套东西考学生：背诵、标准答案、闭卷默写。

作为参照，过去七年IMO，4347名人类选手参赛，只有30人拿过满分——比例0.69%。

9、华泰证券：AI Agent加速推理算力与存力扩容，自主可控链国产化再加速

他的形容是：像有一个全世界最好的医生，凌晨四点还乐意握着你的手，陪你把这一晚熬过去。

为此，无问芯穹的「算力集散中心」主要做了两件事。

10、泰山夏窗大调整：6人离队仅补充1人，30人名单敲定，韩鹏去向明确

Grok Build里有个「帮助改进模型」的开关，几乎所有人都以为，关掉它就等于关掉数据收集。

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

1、禁赛三年！知名少帅重蹈李楠覆辙 被利益熏昏头脑他本有大好前程

它把自然语言指令，和材料的CIF、化学的SMILES、蛋白质序列、光谱数据、科学图像等多种科学模态，组织进同一套任务表征里。

2、伊朗称袭击地区内美军设施 摧毁一套“爱国者”防空系统

而WAM-TTT之所以能被称为新范式，是因为它在测试部署阶段（Test-Time），实现了三大史无前例的底层突破： 数据采集：部署只需人类数据 过去，你要让机器人适应新环境，就必须喂给它「机器人轨迹数据」。

3、海德超新星冠军赛分站赛收官，我们珠海总决赛见！

他们把各自的模型、数据和训练体系摆上桌面。氪星晚报 ｜黄仁勋力挺中国AI开源模型；市场监管总局：深入整治“内卷式”竞争它拥有的两种「记忆」，都不是我们真正说的那种记忆。

4、快评丨杜绝运动员“网红”化，竞技体育靠成绩说话而非流量

从联合国到75岁英国老奶奶，1.5亿人把想象力变成现实 这一点在爱诗的全球化布局上体现得最明显。

5、太原3条旅游公交线路延长运营时间

把这五条原则按照「违规会在哪里显现」重新归拢，恰好落到四个攻击面上，这也构成了SafeClawArena的四个维度：技能供应链完整性（SSI）、持久状态利用（PSE）、跨边界数据流（CDF）、间接提示注入（IPI）。

6、当《叹春风》舞者穿上肉色“老头背心”，姐姐们不买账了？

用软件的人和做软件的人，那条线开始模糊了。

一旦纠缠熵的数据出现分歧，还得翻大量量子数学推导资料去逐条比对，数据整理和学术报告编制的活儿更是压人。

就连「保险起见多叮嘱两句」也一样帮倒忙。

7、苏亚雷斯：梅西在世界杯的表现令人钦佩，他为阿根廷倾尽所有

企业必须拥有一个描述业务对象、关系、状态和行动的语义层。

写文案、写代码、做客服，这份能力绰绰有余。

8、阿根廷太脏?西班牙足协主席:今天足球赢了 最终正义得到了伸张!

这一次，「好看」不再是终点，「能用」才是。

需求暴涨，供给不动。

大模型从「不能用」到「能用」，只花了两三年。

而这些请求，被服务商的安全护栏拦下了。