fs/ggml: malicious GGUF v1 crashes decoder — zero-length string underflows Truncate (DoS)

用户在使用 Ollama 加载模型文件时触发问题,尤其是通过外部来源获取的 GGUF v1 格式模型文件。攻击者可以构造一个仅 24 字节的恶意 GGUF v1 文件,其中包含一个长度为零的字符串字段,导致解码器崩溃。

用户在使用 Ollama 加载模型文件时触发问题,尤其是通过外部来源获取的 GGUF v1 格式模型文件。攻击者可以构造一个仅 24 字节的恶意 GGUF v1 文件,其中包含一个长度为零的字符串字段,导致解码器崩溃。

用户在 ComfyUI 中加载任何检查点(例如来自 black-forest-labs/FLUX.2-small-decoder 的 full_encoder_small_decoder.safetensors )时触发。该检查点不包含可识别的 VAE 权重,导致 ComfyUI 的 VAE 初始化

谷歌在相册应用中推出AI驱动的“视频混音”功能,基于其Gemini Omni模型,用户只需选择素材和音乐,即可在数秒内自动生成具备转场、节奏剪辑和调色的短视频,目标直指零门槛的电影级视频创作。

腾讯混元 Hy3 模型在办公智能代理工具 WorkBuddy 上线后,因用户调用量远超预期导致算力峰值承压,项目团队已紧急完成算力扩容。此次事件反映出市场对国产高性能大模型办公工具的强劲需求,也再次验证了大模型落地中“推理算力”环节的敏感性。

7 月 9 日,蚂蚁集团旗下灵波开源了 LingBot-Video,这是全球首个面向具身智能的开源视频基础模型。它采用 MoE 架构,在机器人任务评测集 RBench 上得分 0.620,超越了多个主流闭源和开源模型,可能改变视频生成模型从“内容创作”到“物理世界理解”的技术方向。

瑞典AI初创公司Lovable正在洽谈新一轮最高3亿美元的融资,若完成,其估值将从去年12月的66亿美元翻倍至132亿美元。这家以“氛围编码(vibe-coding)”技术为核心的公司,仅用不到三年便实现了年化收入5亿美元,反映出AI驱动的低代码开发正在成为最赚钱的应用场景之一。

SpaceX AI与AI编程初创公司Cursor合作推出Grok 4.5大模型,核心卖点不再是纯编程辅助,而是切入法律咨询、金融服务等高逻辑、高精度要求的专业领域。此举旨在缩小与OpenAI和Anthropic等头部厂商在垂直行业市场的差距。

AI 大模型独角兽智谱于 2026 年 7 月 9 日宣布完成约 314 亿港元(约合 40 亿美元)的配售融资,资金将重点投向基础模型研发、算力基础设施建设及全球生态拓展。这笔融资是当前大模型赛道中规模较大的单笔资本市场操作之一,表明智谱正为新一轮技术竞赛储备弹药。

SpaceXAI 于本周三正式发布新一代大模型 Grok 4.5,主打“Opus 级”能力与低成本推理,直接对标 Anthropic 的顶级模型,并在价格上给出极具竞争力的方案。此举发生在 OpenAI 计划于次日发布 GPT 5.6 的前夕,竞争火药味浓厚。

微软于7月7日向Microsoft 365 Insider测试成员推送了iPad版Word 2.109版本,深度集成Copilot AI助手,能够在移动端将零散想法直接转化为结构化文档,并支持语气调节、标题添加和段落优化等编辑操作。