AI新闻动态（2025-07-20到2025-07-26)

[ikaijua]

AI新闻动态（2025-07-20到2025-07-26)

目录

AI产品

1. 字节 AI 编程助手 Trae 发布 2.0，推出SOLO模式
2. 字节新视频模型 Waver 1.0 在 Video Arena 排行榜位列第三
3. 阿里发布并开源AI编程大模型Qwen3-Coder
4. 阿里开源终端 AI 编程助手Qwen3 Code
5. 腾讯发布AI编程IDE CodeBuddy

AI洞察

1. 谷歌 Gemini Deep Think AI 获官方认证奥数金牌
2. 图灵奖得主辛顿国内首次现身演讲：AI超越人类后，我们该怎么做

[ikaijua]

2025-07-22 字节 AI 编程助手 Trae 发布 2.0，推出SOLO模式

1. 字节跳动发布AI编程助手Trae 2.0版本，引入全新视觉设计和SOLO模式。
2. SOLO模式具备上下文工程能力，支持从代码编写到功能交付的端到端开发流程。
3. SOLO模式能处理多种上下文信息，覆盖规划、编码、测试、部署等完整开发周期。
4. SOLO模式设计考虑上下文工程，理解用户知识架构，帮助规划并分解复杂工作。
5. 目前SOLO模式仅对Trae国际版Pro用户开放，需通过SOLO Code解锁。
6. 中国版用户暂时无法体验SOLO模式。
7. Trae定价首月3美元，后续价格10美元起步。

• oschina: 字节 AI 编程助手 Trae 发布 2.0
• geekpark: TRAE推出SOLO模式，业内首个「Context Engineer」来了

tag: AI产品

[ikaijua]

2025-07-22 字节新视频模型 Waver 1.0 在 Video Arena 排行榜位列第三

1. 字节跳动开发的视频模型Waver 1.0在Video Arena排行榜上位列第三。
2. Waver 1.0在文生视频和图生视频两个子榜单中均排名第三。
3. 在文生视频领域，Waver 1.0仅次于字节跳动的Seedance 1.0和谷歌的Veo3。
4. 在图生视频领域，Waver 1.0同样仅次于Seedance 1.0和MiniMax的Hailuo 02模型。
5. 字节跳动上个月发布的Seedance 1.0在多个维度上超过了Veo3，特别是在遵循提示和动作真实感方面。
6. Seedance 1.0在图像到视频的任务中保持了输入帧的视觉一致性，而Veo3在某些情况下出现了光照和纹理的变化。

媒体文章：

• oschina: 字节新视频模型 Waver 1.0 在 Video Arena 排行榜位列第三

tag: AI产品

[ikaijua]

2025-07-22 谷歌 Gemini Deep Think AI 获官方认证奥数金牌

1. 谷歌 DeepMind 的高级版本 Gemini Deep Think 模型在国际数学奥林匹克（IMO）竞赛中取得金牌水平的成绩，解决了六道题目中的五道，获得35分（满分42分）。
2. 该模型采用了增强推理模式，包括并行思考技术，并通过新颖的强化学习技术进行训练，以提高多步推理和问题解决能力。
3. 模型使用了高质量数学问题解决方案的精选语料库，并加入了解决IMO问题的一般性提示。
4. DeepMind计划先向一组可信测试者提供该模型，随后向Google AI Ultra订阅用户推出。
5. 团队正在推进AlphaGeometry和AlphaProof等形式化系统，旨在结合自然语言的流畅性和形式化语言的严谨性。
6. 此次成果由Thang Luong领导，IMO官方确认了答案的完整性和正确性，但未对系统或模型进行验证。

媒体文章：

• oschina: 谷歌 Gemini Deep Think AI 获官方认证奥数金牌

tag: AI洞察

[ikaijua]

2025-07-23 阿里发布并开源AI编程大模型Qwen3-Coder

1. Qwen3-Coder在SWE-Bench评测中比肩全球最强编程模型Claude4，采用了混合专家MoE架构，总参数达480B，原生支持256K token的上下文。
2. 该模型能显著提升编程效率，如生成品牌官网仅需5分钟，代码测试和查询生成从数小时降至数分钟。
3. 阿里巴巴内部已大量使用AI编程，通义灵码的AI辅助代码生成比例接近40%。
4. 一汽集团、中国石油、建设银行等公司也已接入千问AI编程模型。
5. AI编程工具在开发领域的渗透率约为20%，预计一年后有望达到40%-50%。
6. 阿里云通过模型、平台、产品三位一体提升AI编程能力，押注模型能力是其主要技术路线。

媒体文章：

• 第一财经: 阿里云开源AI编程模型，新手程序员一天可完成“老师傅”一周工作
• 量子位: 开源Qwen凌晨暴击闭源Claude！刷新AI编程SOTA，支持1M上下文

tag: AI产品

[ikaijua]

2025-07-23 阿里开源终端 AI 编程助手Qwen3 Code

Qwen3 Code基于 Gemini-CLI 开发，使用的是 Qwen 系列最强编码模型 Qwen3-Coder，支持超长的上下文处理能力，还能自动化处理 PR 审查、代码重构等任务。

GitHub：https://github.com/QwenLM/qwen-code

tag: AI产品

[ikaijua]

2025-07-23 腾讯发布AI编程IDE CodeBuddy

1. 腾讯宣布其AI辅助编程工具CodeBuddy开始内测，CodeBuddy已在腾讯内部广泛使用，提升超过90%的内部人员编码效率，43%的代码由AI生成补全。
2. CodeBuddy集成了IDE功能和多个AI Agent功能，打造AI Coding时代的完整AI IDE产品形态。

官网：https://www.codebuddy.ai/

媒体文章：

• 机器之心: 新的CodeBuddy IDE测了，我们感受到腾讯搞定创意人士的野心

tag: AI产品

[ikaijua]

2025-07-26 图灵奖得主辛顿国内首次现身演讲：AI超越人类后，我们该怎么做

1. 辛顿回顾了AI发展的两种范式：逻辑型（符号规则）和学习型（神经网络），强调后者是智能的基础。
2. 辛顿解释了大型语言模型与人类理解语言的方式相似，都是将语言转化为特征并整合。他用乐高积木类比词语，强调词语的多维度和灵活性。
3. 辛顿强调了计算机科学中软硬件分离的原则，认为软件（程序）是永恒存在的，可以复制和转移。
4. 辛顿指出数字智能在知识迁移方面远胜于人类智能，因为程序可以直接复制参数和模型结构，效率高出几十亿倍。
5. 辛顿认为，随着AI的发展，可能会自然产生生存和增强控制力的动机，这使得AI不再是被动工具，可能难以被“关闭”。
6. 辛顿承认AI在医疗、教育等领域具有巨大价值，但也警告AI可能带来的生存风险。
7. 辛顿呼吁全球主要国家构建一个AI安全机构组成的国际社群，共同研究如何让AI向善，避免AI失控。

B站视频：鱼C-小甲鱼/诺奖得主/AI之父「Hinton」中国WAIC汇报：数字智能是否会取代生物智能❗️辛顿首次中国演讲，四大核心信息值得关注·独家完整版

媒体文章：

• 机器之心: 图灵奖得主Hinton国内首次现身演讲：AI超越人类后，我们该怎么做

tag: AI洞察

[ikaijua]

2025-07-26 GPT4核心成员、清华校友赵晟佳任Meta超级智能实验室首席科学家

1. Meta成立“Meta 超级智能实验室”（MSL），旨在开发下一代AI模型，重振Llama系列。
2. Meta不惜重金从OpenAI、Anthropic、Google DeepMind等公司挖角顶尖AI人才。
3. Scale AI前CEO Alexandr Wang 担任MSL负责人和Meta首席人工智能官。
4. ChatGPT联合创始人赵晟佳被任命为MSL首席科学家，直接向扎克伯格和Wang汇报，负责确定研究议程和科学方向。
5. 赵晟佳是GPT-4的核心研究人员，拥有清华大学本科和斯坦福大学计算机科学博士学位，并曾获得ICLR杰出论文奖。
6. 赵晟佳提出了全新的扩展范式，或将明确Meta未来的人工智能科研方向。
7. Meta明确Yann LeCun仍是FAIR的首席科学家，澄清了LeCun的职位没有变动。Meta希望通过MSL和FAIR两大实验室实现通用人工智能的愿景。

媒体文章：

• 机器之心: GPT4核心成员、清华校友赵晟佳任Meta超级智能实验室首席科学家

tag: AI洞察

[ikaijua]

2025-07-25 阿里发布千问3推理模型，比肩Gemini-2.5 pro、o4-mini

1. 千问3推理模型，性能大幅提升，声称比肩Gemini-2.5 Pro和o4-mini等顶级闭源模型。
2. 阿里本周连续开源三款模型，分别在基础模型、编程模型和推理模型领域获得全球开源冠军。
3. 千问3推理模型支持256K上下文长度，在知识、逻辑推理、编程、数学、人类偏好对齐、创意写作、多语言能力等核心能力上可比肩顶级闭源模型。

媒体文章：

• 量子位: 阿里千问3推理模型重磅更新，比肩Gemini-2.5 pro、o4-mini

tag: AI产品

[ikaijua]

2025-07-22 Qwen3最新升级

1. Qwen3升级，总参数量为235B，虽然只有Kimi K2的四分之一，但在基准测试性能上超越了Kimi K2。
2. Qwen官方宣布不再使用混合思维模式，而是分别训练Instruct和Thinking模型，新模型仅支持非思考模式。
3. 新模型在通用能力、多语言长尾知识覆盖范围、用户偏好匹配等方面有显著提升，特别是在数学推理能力上表现突出。
4. 采用MoE架构，包含94层，使用分组查询注意力（GQA）机制，支持262144的上下文长度。
5. 随着Llama转向闭源，开源基础大模型的竞争正在进入中国时间，Qwen3的更新预示着中国在这一领域的竞争力。
6. NVIDIA发布的OpenReasoning-Nemotron模型基于Qwen-2.5微调，但Qwen3已经更新，预示着未来可能有更大的技术突破。

媒体文章：

• 量子位: Qwen3小升级即SOTA，开源大模型王座快变中国内部赛了

tag: AI产品

[ikaijua]

2025-07-25 斯坦福大模型推理课免费了，谷歌推理团队创始人主讲

1. 斯坦福大学提供免费大模型推理课程，由谷歌DeepMind推理团队创始人Denny Zhou主讲，专注于提升大语言模型（LLM）的推理能力。
2. 通过引入思维链（Chain of Thought, CoT），可以显著提高模型的推理能力，使其能够解决更复杂的问题。
3. 介绍了多种提升推理能力的方法，包括提示、改变解码方式、监督微调、强化学习微调以及聚合和检索方法。
4. CoT-decoding方法能从top-k解码路径中选出有推理过程的路径，提高模型在各种推理任务上的表现。
5. 未来的研究将聚焦于解决非唯一可验证答案的任务，以及构建实际应用。
6. Denny Zhou是Google Brain推理团队的创始人，专注于通过构建具备推理能力的大型语言模型解决人工通用智能（AGI）问题。

媒体文章：

• 量子位: 斯坦福大模型推理课免费了，谷歌推理团队创始人主讲

tag: AI研究