
A | 1.小红书大模型dots-note 3.0 IMO获金牌 7月22日消息,第67届国际数学奥林匹克竞赛(IMO2026)成绩揭晓,小红书大模型 dots-note-3.0以六道题全部答对的满分成绩斩获金牌。 8 月 26 日消息,科技媒体 Tom's Hardware 昨日(8 月 25 日)发布博文,报道称持续约 23 年的 Linux 所有权之争告一段落,长期法律争议正走向终点。

B | 美国第二巡回上诉法院于 2026 年 8 月 10 日驳回 Xinuos 的上诉,维持纽约南区联邦地区法院此前的驳回决定。 这是中国大模型首次获得IMO官方金牌水平认证,也是继谷歌Gemini之后全球第二个达到该成绩的大模型——且为满分,谷歌此前仅答对5/6题。法院认定,Xinuos 的诉求已经超过诉讼时效。

C | 这一成绩,让行业第一次看清了小红书在基础模型领域的技术成色,标志着小红书已经成为一个值得关注的新玩家。虽然 Xinuos 将案件表述为许可条款争议,但法院认为,其核心主张仍是代码所有权问题。援引博文介绍,这起长期法律纠纷的诉讼起点是 2003 年,SCO Group 正式起诉 IBM,指控 IBM 违反保密协议,将 UNIX 专有代码泄露并融入 Linux 中。 IMO是国际数学奥林匹克竞赛的简称,每年汇聚全球顶尖中学生,陶哲轩等半数当代菲尔兹奖得主均出自该赛事。 2.月之暗面首次回应“模型蒸馏”质疑 7月21日,针对外界广为流传的 “K3是蒸馏小模型”猜测,月之暗面企业业务负责人黄震昕在媒体采访中正面予以否认。而事件的源头可以追溯到 1998 年,IBM 与 SCO 等公司展开 Project Monterey 合作,但后来 IBM 转向全面支持 Linux 并在 2001 年退出该项目,埋下了后续版权纠纷的导火索。 黄震昕明确表示,Kimi K3性能实现跨越式提升,核心依托底层原创架构创新,并非对任何现有模型进行蒸馏复刻。Project Monterey 目标开发跨硬件架构的统一 UNIX 系统。伴随 Linux 快速崛起,项目价值不断衰减,IBM 转而全力投入 Linux 生态建设。据官方介绍,Kimi K3搭载自研Kimi Delta Attention(KDA)混合线性注意力机制与Attention Residuals(AttnRes)注意力残差技术。2011 年,Xinuos 收购 SCO 的 UNIX 知识产权与相关业务,接过这场诉讼。 自kimi K3大模型横空出世,业界讨论不断。2021 年,SCO 相关权益方与 IBM 达成 1,425 万美元(注:现汇率约合 9,600.2 万元人民币)和解;同年 Xinuos 再度发起新诉讼,将 Red Hat 一并列为被告,主张 IBM 违反非独占许可,把 Monterey 项目代码泄露给 Linux 社区。既有马斯克留言称“令人印象深刻”,也有行业质疑称“K3蒸馏了其他模型”。

D | OpenAI战略未来负责人迪恩·鲍尔则表示,K3的性能无法依靠蒸馏实现,但他同时抨击类似Kimi这样的开放模型,会削弱闭源模型的商业竞争力。2022‑2025 年间,纽约南区联邦地区法院驳回 Xinuos 全部主张,Xinuos 随即提起上诉。

E | 这一言论,凸显了中美开发者在模型路线上的根本分歧。尽管遭遇重大败诉打击,Xinuos 仍计划申请全院庭审重审。但据 IBM 法务方数据,该类重审申请获批概率仅 0.03%,翻盘希望微乎其微。 3.谷歌发布三款Gemini模型 7月21日,谷歌DeepMind团队发布三款新的Gemini模型:Gemini 3.6 Flash、Gemini 3.5 Flash-Lite以及Gemini 3.5 Flash Cyber。 其中,主力模型Gemini 3.6 Flash在编码和多模态任务上表现更强。

F | Gemini 3.5 Flash-Lite主打极致的速度与性价比,每秒可生成350个输出token。而Gemini 3.5 Flash Cyber则是一款针对网络安全漏洞检测与修复进行微调的专用模型,目前仅向政府和特定合作伙伴开放。

G | 4.世界排名第一韩国棋手申真谞战胜围棋AI KataGo 7月21日,据韩联社报道,世界排名第一的韩国棋手申真谞九段21日在韩国棋院举办的“精锐数学·韩经棋神战”决胜局中,以11目半战胜围棋人工智能(AI)模型KataGo,总比分2比1逆转赢下此次人机大战。

H | 韩联社称,赛前业内普遍不看好人类取胜,认为申真谞能赢一局已算成功。

I | 此番逆风翻盘、连下两局,充分证明人类棋手仍具备与顶尖AI抗衡并不断精进的潜力。 5.阿里千问发布Qwen-Image-3.0图像生成基础模型 7月21日,阿里千问团队正式推出第三代图像生成基础模型Qwen-Image-3.0。作为Qwen-Image系列的第三代模型,其核心定位是从“好看”走向“好用”,让AI图像生成真正成为可落地的生产力工具。 新模型支持最大4.5k token超长输入,可一次生成涵盖公式符号、几何图形、逻辑推导步骤等多元素融合的知识图解、复杂UI界面;同时支持12国语言和20多款字体原生渲染,字字清晰,能够大幅降低多语言产品海报、影视/漫画分镜等“可读可用”商业素材的生产成本。 6.OpenAI两大AI智能体产品周活用户突破1000万 据彭博社消息,7月21日,OpenAI宣布其两大AI智能体产品,编程助手Codex与办公任务助手ChatGPT Work,合计周活跃用户已突破1000万。这一数字较7月9日ChatGPT Work上线时几乎翻倍。 OpenAI CEO萨姆·奥尔特曼表示,这两种代理产品的综合使用量在一周内增长了2.5倍,Codex负责人Tibo Sottiaux表示,增长最快的群体是非开发者——那些从未打开过终端的知识工作者。

J | 目前,已有超过100万用户将Codex应用于软件开发之外的工作场景。

K | 欢迎分享、点赞、推荐 一起研究AI。
Current article:http://www.deshabisaoguonouzuo.cfd/j2d/uef6fye.html
Published on:03:49:05