AI新闻动态（2025-04-27到2025-05-03)

[ikaijua]

AI新闻动态（2025-04-27到2025-05-03)

目录

AI产品

1. 阿里Qwen3开源8款模型、性能超DeepSeek-R1，2小时狂揽16.9k星
2. Meta宣战OpenAI，发布Meta AI App和Llama API预览版，Llama API免费用
3. DeepSeek开源Prover-V2强推理模型，专注于形式化定理证明
4. NotebookLM可以根据上传的文件生成音频博客，支持了多国语言包括中文
5. Suno发布v4.5版本

AI投资

1. 重申英伟达“增持”评级！大摩强调AI增长放缓论调十分可笑
2. 马斯克的XAI Holding公司正在寻求200亿美元的融资

AI洞察

1. 苹果将与Anthropic合作开发AI平台编程软件

[ikaijua]

2025-04-27 重申英伟达“增持”评级！大摩强调AI增长放缓论调十分可笑

1. 美股回调之际，市场对人工智能热潮是否见顶存在疑虑，担心科技巨头削减人工智能支出。
2. 摩根士丹利报告指出，人工智能芯片需求依然巨大，驳斥了市场进入芯片消化阶段的观点。
3. OpenAI和Alphabet的CEO均表示，人工智能公司仍然面临GPU芯片短缺的问题。
4. 年初以来，人工智能token处理量激增5倍，给整个生态系统带来压力，并推动投资增长。
5. 市场曾因中国大模型DeepSeek的高效性而担忧云端超大规模人工智能模型对AI芯片的需求可能低于预期，导致英伟达股价下跌。
6. 英伟达新款芯片Blackwell销售额增长迅猛，预计短期内不会放缓。
7. 摩根士丹利重申英伟达“增持”评级，设定目标价160美元，并上调了其2026年的收入和每股收益预期。

媒体文章：

• 财联社: 重申英伟达“增持”评级！大摩强调AI增长放缓论调十分可笑

tag: AI投资

[ikaijua]

2025-04-29 阿里Qwen3开源8款模型、性能超DeepSeek-R1，2小时狂揽16.9k星

1. 阿里云发布Qwen3系列模型，包含2个MoE模型和6个稠密模型，GitHub上迅速获得超过16.9k的star数。
2. 旗舰模型Qwen3-235B-A22B在多个基准评估中表现优于业界知名模型。
3. Qwen3系列模型具备5大关键特性，包括8种参数大小的稠密与MoE模型、混合思考模式、推理能力提升、支持MCP协议以及支持119种语言和方言。
4. Qwen3系列模型已在多个平台上开源，遵循Apache 2.0许可证。
5. Qwen3-30B-A3B在激活参数仅为QwQ-32B的1/10的情况下实现性能反超。
6. Qwen3系列模型支持混合思维模式，允许用户根据任务需求控制模型的“思考”程度。
7. Qwen3的预训练数据集大小是Qwen2.5的两倍，基于约3600亿个token进行预训练。

• 官方介绍：https://qwenlm.github.io/blog/qwen3/
• 模型：https://huggingface.co/collections/Qwen/qwen3-67dd247413f0e2e4f653967f
• 在线使用：https://chat.qwen.ai/

媒体文章：

• 36kr: 阿里Qwen3深夜开源，8款模型、集成MCP，性能超DeepSeek-R1，2小时狂揽16.9k星
• 机器之心: 通义App全面上线千问3 第一时间体验全球最强开源模型
• 机器之心: 猛击OpenAI o1、DeepSeek-R1！刚刚，阿里Qwen3登顶全球开源模型王座，深夜爆火

tag: AI产品

[ikaijua]

2025-04-30 Meta宣战OpenAI，发布Meta AI App和Llama API预览版，Llama API免费用

1. Meta在LlamaCon开发者大会上发布了智能助手Meta AI App和Llama API预览版，与OpenAI形成竞争。
2. Meta AI App基于Llama模型，支持语音和文本交互，特别是全双工语音交互，可与Meta RayBan AI眼镜配合使用。
3. Llama API与OpenAI SDK兼容，提供多款模型，包括Llama 4，并支持模型微调和评估。
4. Llama模型的下载量已超过12亿，Meta AI App和Web版本免费提供使用。
5. Meta AI App重视语音交互体验，能连接Facebook和Instagram账户，了解用户偏好并记忆上下文。
6. Llama API提供一键式API密钥创建，支持轻量级Python和Typescript SDK，开发者可在线完成模型微调。
7. Meta与Cerebras和Groq合作，提供Llama 4 API服务所需的算力支持，实现更快的推理速度。

Meta AI Web端：https://www.meta.ai/

Llama API文档：https://llama.developer.meta.com/docs/overview

媒体文章：

• 36kr: Meta宣战OpenAI，发ChatGPT超强平替App，语音交互联动AI眼镜，Llama API免费用

tag: AI产品

[ikaijua]

2025-05-01 DeepSeek开源Prover-V2强推理模型，专注于形式化定理证明

1. DeepSeek发布了新版本DeepSeek-Prover-V2，专注于形式化定理证明，并在MiniF2F测试中达到了88.9%的通过率。
2. DeepSeek-Prover-V2有两个版本，参数规模分别为7B和671B，均支持最长32K tokens的上下文长度扩展。
3. 该模型通过递归定理证明流程收集初始化数据，并结合DeepSeek-V3的逐步推理轨迹，构建出用于强化学习的初始训练数据。
4. DeepSeek-Prover-V2实现了非形式化和形式化数学推理的融合，能够在数学推理任务中达到业内最佳性能。
5. 模型经历了两个阶段的训练，包括高效非思维链模式和高精度思维链模式，进一步提升了模型的证明生成能力。
6. DeepSeek还发布了ProverBench基准数据集，包含325道题目，旨在支持对模型在高中竞赛题和本科数学题两个层面的综合评估。

下载链接：https://github.com/deepseek-ai/DeepSeek-Prover-V2/blob/main/minif2f-solutions.zip

媒体文章：

• 机器之心: DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过

tag: AI产品

[ikaijua]

2025-04-27 马斯克的XAI Holding公司正在寻求200亿美元的融资

1. 如果融资成功，新XAI的估值将超过1200亿美元（约8745亿人民币），成为史上第二大初创企业单轮融资。
2. 融资目的可能是为了偿还与2022年Twitter私有化相关的债务。
3. 摩根士丹利计划出售与收购Twitter相关的12亿美元债务，以推动再融资。
4. X公司从摩根士丹利获得的贷款利率为14%，新贷款利率为9.5%，有助于减少年度利息支出。
5. X公司正在从依赖广告的社交媒体平台转型为AI和订阅收入平台。

媒体文章：

• 量子位: 1450亿！马斯克xAI与X合并后再寻资金，将成史上第二大初创企业单轮融资

tag: AI投资

[ikaijua]

2025-04-30 NotebookLM可以根据上传的文件生成音频博客，支持了多国语言包括中文

使用地址：https://notebooklm.google.com/

tag: AI产品

[ikaijua]

2025-05-02 Suno发布v4.5版本

1. 音质提升，最长支持8分钟
2. 更多音乐风格 + 更聪明的混搭，
3. 增强人声表现，更强的情绪表达力
4. 音色更复杂，细节更丰富
5. 提示理解更准确，提示增强助手功能上线
6. 升级的 Covers（翻唱）+ Personas（角色）功能

tag: AI产品

[ikaijua]

2025-05-03 苹果将与Anthropic合作开发AI平台编程软件

1. 苹果与初创公司Anthropic合作开发新的AI代码生成平台。
2. 该平台名为“氛围编码”软件，旨在辅助程序员编写、编辑和测试代码。
3. 该平台将整合Anthropic的Claude Sonnet模型。
4. 该平台是苹果编程软件Xcode的新版本。
5. 苹果计划在内部推出该软件。苹果尚未决定是否公开发布该软件。

媒体文章：

• 财联社: 苹果将与Anthropic合作开发AI平台编写软件

tag: AI洞察