智东西 编译 茄子 编辑 程茜 智东西7月17日报道，今日，Kimi正式发布其迄今能力最强、全球首个开源的3万亿参数级别模型Kimi K3。

1、博亚平台 Matrix-Game 3.5将PRoPE加Warped RoPE进行组合，其中Warped RoPE可以重新定义记忆Patch在当前视角下应该出现的位置——位置编码从简单的时空索引升级为具备几何语义的世界表示。

结合第三方的公开测试集可以看到，Macaron-V1-Venti在聊天、编程、智能体、GenUI四项任务中的综合能力都超过了GLM-5.2，相比全球顶尖大模型公司的GPT-5.5、Claude Opus 4.8、Gemini 3.1 Pro、MiniMax M3，仅在智能体、编程的少数几个测试集中分数略低。博亚平台不仅如此，白宫方面曾要求能源部不要推进这项协议，但赖特仍执意推进，甚至还在采访中公开对此表态。

2、官宣：安德雷·桑托斯加盟曼联

该用户认为Inkling有较好的英文文本功底。

3、世界杯最强替补！阿森纳神兵再度救主！登场 2 分钟直接杀死比赛

产业结构持续优化。

4、曼联官方：乌加特已成功接受膝关节韧带伤势的手术；罗马诺谈曼联的第三个中场引援

前面提到的HOKA、凯乐石等品牌目前展现出的增长势头，说明滔搏的线下运营能力具备迁移到新品牌上的可行性，但从12.6%的收入占比看，这些业务距离真正接棒耐克、阿迪达斯留下的空缺，还需要相当长的时间。

5、平均身高仅1米79，头球数却排第一！阿根廷被低估，39岁梅西还在进化

“在暗场显微镜的观察下，镜片无可见划痕和麻点，实现微米级零可见表面缺陷。

OpenAI安全研究员、哈佛大学教授博阿兹·巴拉克在社交媒体上发帖表示，他“既兴奋又深感荣幸”地欢迎齐默曼的加入。

二、首款原生端侧推理芯片年底亮相，面向真实场景优化四大硬指标 可行路线明确了，下一道摆在眼前的关键行业议题就是：适配大模型的专用端侧大模型AI推理芯片，究竟应该具备怎样的特质？ Transformer架构下，大模型推理并不是一个稳定均匀的计算过程。

6、欧协联资格赛前瞻：加尔斯迎战北西兰，老乌利维球场首演

截至目前，因灾死亡生猪的无害化处理工作已经基本完成，这些地方没有报告发生重大动物疫情，此次灾害也未对全国生猪生产造成明显影响。

据业务相关负责人向智东西介绍，此次展出的“文搜”系列产品，正是对传统视频检索模式的一次颠覆性革新。

7、左手曼城，右手巴萨：美的为何要在欧洲足坛打造“双核”？

我多次表示希望他们回国任教。

Nebula的技术路径是3D-DRAM堆叠。

8、这，才是大连足球走向复兴最深厚的底气

7月17日-20日，2026世界人工智能大会（WAIC）在上海举行，小红书本次亮相WAIC展会，对外发布RED Skill、Vibe Coding两项产品能力，并通过互动体验站、原生AI开发者展区、“让Builder被看见”论坛，系统呈现小红书科技生态布局，以及社区中正在成长的AI青年创新力量。

让每一度电都成为算力产业的增长动能。

” 说明函对这套方案的自称是“规划方案”：“现向越疆合伙的各位原合伙人告知如下规划方案”，结尾写“后续我们会联系您签署以上方案涉及的越疆合伙工商变更文件，烦请配合”，全文没有“确认”“承诺”字样。

9、2007年杜卡迪1098无底价上架：1099cc L型双缸、7千英里、2023年刚做大保养

依托原生UGC社区属性，小红书上用户围绕足球衍生出穿搭、赛场打卡、观赛Vlog、球星故事、赛事二创等多元内容。

检验的结果是：北京AI产业在芯片、模型、机器人、智能体等核心赛道上，已经形成了从技术研发到产品落地到场景交付的完整能力链条。

10、戴尔·恩哈德特回忆亨德里克：低迷时就放话“修好它，否则后果自负”

据Meta官方新闻称，该公司将在当地投入超过10亿美元（约合人民币67.8亿元），用于道路、水资源以及污水系统等基础设施建设。

”他谈道，人类信息的90%是来自于眼睛和耳朵，而眼镜距离人眼、人耳最近，天然具备获取信息的物理优势，配人的视觉、听觉习惯，所以AI眼镜会成为一个承载记录功能的最佳载体。

1、四川稻城亚丁景区一老年游客疑因高反离世，当地回应：男子65岁以上，疑独自游玩，“他本身有基础病，高反可能是诱因”，正在联系家属

”薛珍纳表示，中国经验可以提供给APEC其他成员借鉴，“我相信只要方向走对，人工智能会带来巨大机遇。

2、大数据显示西班牙夺冠概率近6成？别信！半决赛已两次打脸，终极悬念在意志！

具体实施过程中，FDE模式可帮助企业构建从需求分析、模型验证到工程交付的系统化AI落地能力，将复杂的大模型项目沉淀为可复制、可规模化的方法论，实现“1天明确业务价值、2天完成Demo验证、30天实现稳定版本上线”的AI“123”交付法则，让AI从 “能用” 真正走向 “好用、可落地、可持续运营”。

3、中超第19轮明天7月17日赛程：西海岸PK蓉城，国安PK辽宁铁人

在他看来，侄女能获得世界数学最高荣誉确实是一件大喜事，但家族并不会大张旗鼓地庆祝，因为这不过是“一个人在自己的路上走出来罢了”。纳什维尔1比0蒙特利尔取五连胜，苏里奇点射10场10球领跑MLS在核对双方驾驶人信息过程中，民警发现其中前车驾驶人小李（化名）居然是一名16岁的未成年人，其尚未取得机动车驾驶证，属于无证驾驶。

4、80岁特朗普嘲讽3.28亿豪门总输球，带头大做争议手势：“他们不让做，你们就做！”

2026年1月，北京发布《人工智能创新高地建设行动计划》，部署九大行动：技术创新策源、智算自主生态强基、具身智能全链跨越、全域应用赋能、高质量数据聚能、科学智能范式革新、创新生态引领、开源开放聚力、安全治理护航，并提出明确目标：两年左右实现人工智能核心产业规模突破万亿元。

5、广东男篮四旧将现状：曾繁日敲定下家，27岁拼命三郎无人问津

此外，Scale AI的联合创始人郭露西（Lucy Guo）成为彼时全球最年轻白手起家女富豪之一，身价达到15亿美元（约合人民币102亿元）。

6、西班牙VS阿根廷：无敌传控斗牛士，能否终结梅西时代？

▲苹果16英寸MacBook Pro 上述高性能版本笔记本将搭载M5 Pro、M5 Max芯片，是苹果今年3月发布的MacBook Pro同款；下一代继任机型则将搭载M7 Pro、M7 Max芯片，苹果已启动相关研发规划，新品预计2027年底至2028年初陆续上市。

7月17日被举报当天，越疆港股市值蒸发约15亿港元；过会次日收涨2.30%，市值113.5亿港元。

据报道，此次相关费用均由吴克群和陆虎共同承担，之后西瓜将运往全国不同地方继续分发。

7、两战轰44+11+9！天赋远超丁彦雨航，4年后男篮新星或有望闯进NBA

腾讯游戏《失控进化》上线期间，Marvis与该产品进行了合作，提供地图探索、游戏信息查询及经验获取等功能，相关功能的用户反馈和渗透率表现较好。

不同于单一参数堆叠的传统大模型路线，这套“强共享基座+海量可演化轻量化适配器”架构，既大幅降低企业开发、算力、存储成本，又依托多模块协同实现群体智能与长期自主Agent能力。

8、平均身高仅1米79，头球数却排第一！阿根廷被低估，39岁梅西还在进化

“崇州依托‘1+3+5+4+N’低空经济产业体系，形成全链条产业闭环，正打造西部低空经济高地，赛事既能竞技比拼，也可展示产业成果、发掘科创后备人才。

这种风险就算没当场爆掉，也不过是被推迟到后面，等着某一天集中引爆。

当企业开始算DAA，AI才算真正上岗。

Skywork团队发现，此前把鼠标信号通过Self-Attention注入、键盘信号通过Cross-Attention注入的做法，虽然直观，但每次加入参数都会破坏模型对原始视频分布的认知，需要大量额外训练来修复基础能力 在架构层面，3.5版本做了一个关键调整：不再将动作控制信号作为额外参数注入模型，而是采用相机位姿相对编码PRoPE机制，通过相机投影矩阵让模型直接感知相机相对位姿。