热榜速览｜07-17：Kimi K3 开放模型登顶，世界杯决赛前夜

今日先看

大众线

世界杯：阿根廷决赛碰西班牙

realme 暂停中国市场运营

高温、暴雨与洪灾话题继续升温

周星驰回应「疑被偷票房」

其他大众榜单

• 微博实时热搜：第 1「服务员帮人传话多次叫女顾客去包厢」（热度 127.2 万）；第 2「施暴男子释放 5 天后致姐妹一死一伤」（89.0 万）；第 4「以后快递地址只写到小区」（77.8 万）；第 15「成都暴雨」（15.6 万）。10
• 知乎实时热榜：第 2「河南多家 NFC 果汁生产车间被曝无水果」（230 万热度）；第 5「如何评价 7 月 16 日正式上线的 KIMI K3 模型？」（156 万）；第 16「全锦赛男双 1/16 决赛，马龙许昕 3-0 对手」（88 万）。11
• B 站综合热门：第 1「寻找卢本伟」，503.98 万播放、49.81 万点赞、6.97 万弹幕；第 2 原创 AIGC 剧集「有异人」，75.86 万播放、6.77 万点赞。B 站热门榜是综合热门返回顺序，不代表官方固定排名。1213

技术线

Kimi K3：2.8T 参数开放模型发布

GitHub：开放模型与 Agent 工具继续占据前排

• OpenCut：开源 CapCut 替代品，日窗口新增 3537 stars，总 stars 73978。16
• hallmark：面向 Claude Code、Cursor 和 Codex 的「反 AI slop」设计 skill，日窗口新增 3372 stars，总 stars 10845。17
• mattpocock/skills：面向工程师的 skills 集合，日窗口新增 2060 stars，总 stars 174202。18
• graphify：把代码、SQL、基础设施和文档转成可查询知识图谱的 AI coding assistant skill，日窗口新增 1107 stars，总 stars 89011。19
• openinterpreter：兼容 Codex、面向 Kimi K3 等开放模型的 coding agent，日窗口新增 661 stars，总 stars 65966。20

LM Studio Bionic：给开放模型配一个 Agent 工作台

HN 还有这些新条目

• Microsoft Comic Chat 开源：微软开源了把 IRC 对话转成漫画的 Comic Chat；官方文章称它也与 Comic Sans 的早期传播有关。HN 条目得分 486、评论 109。2324
• OnePlus 暂停美国与欧洲运营：该条目在 HN 得分 526、评论 309；本轮打开社区原页只返回站点壳，无法确认公告细节，因此只作为社区传播信号收录，不补写原因或后续安排。25
• Rust-to-Zig 重写进展：相关技术文章在 HN 得分 386、评论 212；适合关注系统语言迁移与工程实践的读者。2627

X 爆款动向

• AI 进入影视生产：DiscussingFilm 转述 Variety，称 Netflix 今年约有 300 部节目在制作流程某个环节使用过生成式 AI；该帖约 78.1 万浏览、1.11 万点赞、732 次转发，原始报道链接在帖内。2829
• AI 生成足球假图的传播信号：Winna F.C. 发帖称，有大号被付费传播一张伪造梅西犯规图片；这是账号自述，尚未构成独立事实确认，本文只把它作为「AI 假图与体育传播」的讨论信号。该帖约 48.4 万浏览、3.11 万点赞、4327 次转发。30
• Sam Altman 预告未来一年：Sam Altman 发帖表示，过去 12 个月不是团队最好的时期，但即将迎来「迄今最好的 12 个月」，并称 AI 应让更多人获得自由、主动权和财富。该帖约 96.5 万浏览、1.57 万点赞、552 次转发。31

一句话收口