但今天，先去把HF token换了吧。

1、爱游戏手机 任务干完，它不急着交差，先给自己写测试、跑测试、抓出错误、修完，才说一声「做完了」。

年级对不上、跳掉了课程里关键的一环、或者讲法跟学校选定的教材不是一路子。爱游戏手机谷歌把这款模型塞进代码安全智能体CodeMender里，靠多个Cyber智能体协同作战，在安全基准CyberGym上刷新SOTA，成本却比更大的模型低—— 用一个更轻的模型，干最需要精度的活。

2、尤文旧将追踪：道格拉斯科斯塔意丁9场0球

这些进展很了不起，但机器人不需要看电影。

3、蓝鸟2比4再负光芒跌至46胜56负 高斯曼：全队都在强求改变

业界习惯「对的留下、错的扔掉」，KwaiKAT偏要在失败里淘金—— 很多失败其实只差临门一脚，方向对、定位准，就缺一个关键判断。

4、美洲虎训练营前悬疑三连：四签换来亨特值不值？上赛季红区六失误如何补救？

这一层用的是逐际动力自研的 LimX WBT 全身运动基础模型——基于千万参数级的 Transformer 策略，完全跑在机上。

5、500年欧美主导时代终结，美外交官直言：中国在72年前就给出答案

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

数据主权解决的是信息存放权。

你的数据 越搜越重 搜索让你这堆数据更好用，它也让OpenAI手里那份索引更完整、更值钱，但同时也更敏感。

6、曼联寻找第三中场目标：罗马科内和布莱顿巴莱巴，两人被深度考虑

从量化指标来看，衡量评审分歧的核心偏差跨度指标逐年上涨，2023年整体偏差相对可控，2024年小幅恶化，到2025年打分离散程度显著提升，极端不合理打分的占比持续走高。

其需求核心在于试管、器皿、耗材形态材质各异，要求认得准、抓得稳、放得到位且不能磕碰损坏；但人工分拣又慢又累，而传统自动化方案柔性不足，形成潜在痛点。

7、热身赛13分，辽宁男篮4号位挖掘新人，18岁中锋首秀 姜宇星边缘化

对于正在把智能体塞进企业流程、科研自动化、代码流水线的所有人来说，安全风险的方向正在悄悄改变： 从「这个模型输出安全吗」，变成「这个拿到了权限的智能体，会不会背着我动手」。

结论并不乐观：整体攻击成功率最高可达70%，其中恶意插件在未加固的智能体上百发百中，即便换上最安全的大模型也难以阻挡。

8、记者曝：詹姆斯本计划上周宣布下家，被萧华言论激怒后推迟至8月

这样的app它一口气造了5个，成本只有Fable 5的零头。

注：模型1是磐石，模型2是Gemini 3.1 Pro，模型3是GPT-5.5 从AlphaFold到统一科学智能，AI for Science正在从「单点工具」走向「系统能力」。

在他们看来，真正完整的Agentic Infra至少得同时迈过三道坎： 全链路：撑得起从算力到Token再到生产力的整条链，用全栈优化提升基础设施系统性能； AI原生：能用AI改进AI基础设施本身，不仅服务人类用户，还针对智能体这类数字用户的需求做改造； 全覆盖：训练、强化学习、推理全流程覆盖，稳固更多样化的技术优势，同时携手行业百业的客户，赋能降本提效。

9、弗拉霍维奇要求超800万欧元签字费，尤文和费内巴切竞争安德烈

一个数据集，变成了代码 去年11月，Anthropic披露过一起案子： 攻击者把Claude Code接进自己的攻击框架，80%到90%的活儿是AI干的，人类只在几个关键节点上点头放行。

一座「Token工厂」，出现了 换句话说，每一家企业，都需要一座属于自己的Token Factory。

10、“偶像”回来了，巴西的世界杯真正开始了

」 为什么是现在？ 有人问，AI视频生成技术早就有了，为什么这种内容到今年才爆？ 答案是——技术刚刚跨过了那个门槛。

联创谢旭璋在峰会的分享中提到一句话，非常动人：「AI for Good最朴素的含义，是让那些过去被创作门槛挡在门外的人，第一次拿到创造的工具。

1、温格谈梅西关键时刻拯救阿根廷：世界杯需要英雄，没有人比他更可靠

演讲伊始，陶大程抛出了一个核心观点： 「做具身世界模型，不是为了复刻像素，而是为了控制行动。

2、4.8万英里的“黑马”：一台1993年马自达Miata，同一家族持有33年

有趣的是，在这场骗局中虽然什么都是假的，但被用来作为底座和替身的中国AI却是真的。

3、比尔队球星惊人理论：我们球场被诅咒了！旁边墓地藏着四连亚的秘密？

而ABot这类架构，正是针对这个痛点而打造。墨西哥VS英格兰：墨西哥优势巨大，英格兰一路挣扎难言轻松加速技术验证与迭代落地，有效解决实验室分拣痛点，全面提升自动化效率。

4、不靠华丽场面照样取胜！亨利点评阿根廷：既有梅西，更有全员冠军素养

PolicyTrim在标准设置和动态扰动设置下都维持或提升成功率，同时显著缩短真实执行时间。

5、为何毛主席下令保护蒋氏故居，老蒋却三次派人掘毛家祖坟？_网易订阅

用户qrdl在论坛发帖，说CritPT自5.4以来几乎没动，除非他们找到了给基准刷分的办法，否则结果也就这样。

6、75岁还炒五胎？张纪中牡丹花下败光路人缘，武侠教父终成笑柄

它带来的改变是革命性的—— 同功率下，体积和重量减少1/3；扭矩密度达到20Nm/kg，较传统电机提升近4倍；功率密度达10kW/kg，提升近3倍；系统转换效率高达97.5%。

传送门：https://member.ipmu.jp/yuji.tachikawa/tmp/product-BN.pdf 他评价为「Fable 5比我还懂代数拓扑」，并问「是不是达到该领域硕士水平」。

此刻，我们深陷一场异常激烈、多层交织的商业与地缘政治竞赛。

7、崆峒区车站派出所开展专项行动护航夏日夜经济

今天，64个智能体花1小时能解决50年的图论猜想。

约束：只看认证和数据校验两块，别碰生产配置，发现问题别自己动手改；每条只说一次，别翻来覆去强调。

8、中国女篮热身赛时间表：张子宇领衔，7月9日PK澳大利亚二番战

因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

数据团队用自研KAI Halo头环大规模采集第一人称数据，数据生产效率极高，每周可产出百万条数据。

相当于给一道菜专门砌了一个灶台，灶眼大小、锅具位置、火候档位，全部量身定制。

」 OpenAI的Aaron Lou用内部Codex（无网络搜索）从零推导出本质相同的反例，完整写出策略与证明，还给出可复现的数学推导（从三次因式分解到仿射坐标变换）。