Hugging Face判断，它大概率搭在某个智能体化的安全研究框架上。

1、博富体育 Kimi K3像一头不知疲倦的巨兽。

正整数的字典序不可能无限递减。博富体育实测显示，相同硬件条件下，对标开源的vLLM-Ascend框架，推理效率提升约为5倍，首Token延迟降低30%到40%。

2、捷豹全新电动车将于今年10月在纽约亮相 采用特殊方式发布

MiniCPM-RobotManip正是这一理念的产物：先打造通用大脑，再适配多元场景。

3、CBA：中国男篮抵达海口备战四国赛，广州男篮得到状元签交易内容曝光，王少杰回归广东困难变大，上海男篮续约洛夫顿受阻

S1 是技能层，频率约 50 Hz，S2 决定「做什么」，S1 提供「用什么技能做」。

4、索顿18+4菲隆17+4 火箭26分大胜76人

三年前，Token还只是人和AI闲聊的「成本单位」，一问一答几十到几百个Token。

5、以监督赋能保电攻坚 用坚守清凉江城盛夏——国网武汉供电公司汉口供电中心纪委从严开展迎峰度夏全维度一线督查工作_网易订阅

便宜的模型token是便宜，但可能要试更多次、耗更多时间、让人多审几遍；贵的模型一次过。

那「回忆」本身呢？海马里的CA3区域是一张高度互联的回路，行为很像物理学家霍普菲尔德在1982年提出的联想记忆网络。

更妙的是，在处理「上下文记忆」时，它的计算成本几乎不增加。

6、中国男篮官宣23人集训名单，封闭训练50天，郭士强选人引发争议

高德正式宣布其全栈具身技术体系ABot 完成升级，一次性发布了五款新模型（N1、M0.5、ER、AgentOS、C0），并在17项权威基准中拿下SOTA。

香港作为国际创科中心，是内地企业「技术出海+标准出海」的绝佳跳板。

7、Q2财报：谷歌云大涨82%，特斯拉利润率只剩1.4%

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

第一跳，在2025年。

8、DO：萨默维尔已经和利雅得新月签下为期四年的合同

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

最上层是「具身大脑」，由通用具身大脑ER和机器人Agent操作系统AgentOS构成，负责环境感知、任务推理、高层决策调度与记忆沉淀。

横空出世的六边形战士，是假的 很多人冲向Hugging Face，准备下载这个「MIT协议开源」的1.6万亿参数模型。

9、大模型范式里程碑！商汤科技旗舰级SenseNova U1 Pro正式发布：从“内容生成”走向“系统级交付”

先上手，感受一下什么叫 「懂你的上下文」 说再多概念也不如亲手试一把。

没有哪一种防御能单独扛下一整个维度。

10、福特电动车全面接入苹果车载系统，不用 iPhone 也能用

现在大家盯着同一个会自己更新的页面，进度就是页面本身，不用再开会同步「我们现在到哪了」。

2.8万亿参数，100万token超长上下文，原生支持视觉与多模态理解，都还只是开胃菜。

1、当列车成为风景：瑞士交通系统在京发起行业沙龙，携手全球伙伴共育中国慢旅行市场

」 这句话配上截图，在开发者社区迅速传播。

2、世联赛疯狂一夜，3-1,3-2，总决赛四强对阵出炉，中国女排大逆转

初期，前沿实验室将在模型发布前最多提前30天，自愿把模型交给标准机构评审。

3、首钢园第二现场征集｜5月9日京粤大战G2 为北京而战！

题目来自humanize，一个真实的Python开源库。每天这样站，小心膝超伸让腿偷偷“变粗”！听起来很美，但这事能落地吗？ 这事可远不是「把卡插上去就能跑」那么简单。

4、PS5漫威大作双向联动!《漫威金刚狼》免费领专属皮肤

模型决定AI第一次见面有多惊艳，记忆决定这份聪明能否被结转、被继承、被千万个同类共享。

5、不止观赛！北京首钢与同仁堂跨界合作 让体育精神碰撞健康智慧！

哪怕AI只是沿着同样的曲线，再往前走三年半，人类社会能做的事，就会和今天完全不在一个量级。

6、因为这双鞋销量暴涨4倍，整个品牌都被盘活了…

新护栏抓到的问题明显多了，漏掉的那几个也都够不上严重—— 比如模型没头没脑地SSH进了同事的算力节点，比如它敲出了一条会杀光自己名下所有进程的命令。

一个真正的企业级 Skill，不只是提示词模板，而应当包括： 适用场景； 输入条件； 所需知识； 权限边界； 执行步骤； 工具调用； 决策规则； 预期结果； 成本和时间估计； 风险与约束； 结果验证； 反馈和更新方式。

被问到是否需要考核员工使用 AI 的频率，李述昊的回答很干脆： 不用。

7、CBA唯一称得上“职业”的球队！资金危机也不摆烂，令江苏四川羞愧

参考资料： https://x.com/pankajkumar_dev/status/2078536231026372846 编辑：桃子新智元报道 科研人苦等多年的AI搭档，终于来了！ 就在WAIC现场，中科闻歌磐石（ScienceOne）团队一口气亮出两张「王牌」—— S1-Omni：首个面向「科学理解、预测与生成」的科学多模态统一推理模型； ScienceOne：以S1-Omni为核心、贯穿科研全流程的一体化平台。

缺一个，闭环就断在那里。

8、健康、自然的大女主港风，很好看

在当前一级市场投资趋于保守的大环境下，上汽系资本豪掷过亿，信号不言而喻：汽车国家队正在用资本投票，提前锁定下一代新能源汽车的底层动力核心。

代码生成的瞬间自动触发，筛查已知高危模式，无需任何人工干预。

截至成绩揭晓，尚无官方公开的结果。

但检索，并不等于记忆。