计算机周报 20250713 金融科技之后，国产算力与 AI 应用怎么看？ 2025 年 07 月 13 日 ⚫ 市场回顾 本周（7.7-7.11）沪深 300 指数上涨 0.82%，中小板指数上涨 0.73%，创业板指 数上涨 2.36%，计算机（中信）板块上涨 3.37%。板块个股涨幅前五名分别为： 大智慧、上海钢联、中科金财、新开普、金证股份；跌幅前五名分别为：海航科 技、旋极信息、正元智慧、汇金股份、汇金科技。 ⚫ 行业要闻 ⚫ 公司动态 ➢ 卓易信息：7 月 8 日消息，公司股东中恒企管拟通过集中竞价和大宗交易相 结合的方式减持不超过 2,271,445 股公司股份，占公司股份总数比例不超过 1.88%，将于本减持计划公告披露之日起 15 个交易日后的 3 个月内进行。 ➢ 万集科技：7 月 12 日消息，公司及控股子公司武汉万集取得由国家知识产 权局颁发的 9 项《发明专利证书》，盲区数据处理方法、装置、计算机设备和存 储介质、地图匹配方法、装置、计算机设备和存储介质等专利。 ⚫ 本周观点 ➢ 投资建议：全球范围内新一轮 AI"军备竞赛"已经开启，Grok4、Kimi K2 等重磅大模型发布有望显 ...

摘要 风险提示 芯片制程发展与良率不及预期 中美科技领域政策恶化 智能手机销量不及预期 敬请参阅最后一页特别声明 1 - 海外聊天应用活跃度稳定，国内应用因暑期因素下降。月之暗面（Moonshot AI）发布并开源 Kimi K2，此 320 亿激活参数的混合专家（MoE）模型以"智能体智能"为核心，能自动调用工具处理复杂任务，旨在促进 Agent 在国内的落地应用。谷歌 Veo AI 的图像转视频功能已整合入 Gemini 应用并向全球用户提供。快手亦发布可灵 AI 可图 2.1 模型，显著提升了图像生成的指令遵循、人像美感及文字生成能力。 - 台积电 FY25Q2 营收达 9338 亿元新台币，同比增长 38.6%，超出市场预期和公司此前指引，显示 AI 带动下先进 制程与 CoWoS 封装产能持续高景气。展望 7 月 17 日即将召开的法说会，市场建议聚焦五大关键议题：一是 AI 需 求的持续性及封装产能扩张路径；二是非 AI 客户下半年需求变化对整体产能利用率的影响；三是汇率波动下公 司能否通过高 ASP 产品结构稳定毛利率；四是 N2 制程导入进度及客户投片计划；五是美国扩产是否有助于缓解 关税压力 ...

美国AI搜索初创公司Perplexity CEO阿拉温德（Aravind Srinivas）在社交媒体表示，基于Kimi K2 模型的良好表现，公司后续可能会利用K2进行后训练，此前DeepSeek R1也被Perplexity用于模型 训练。K2是月之暗面Kimi近日发布的一款万亿参数开源模型，强调代码能力和通用Agent任务能 力。 ...

7月13日，获英伟达投资的美国知名AI搜索初创公司Perplexity CEO阿拉温德（Aravind Srinivas）在社交 媒体表示，基于Kimi K2模型的良好表现，将用K2进行后训练，此前DeepSeek R1也被Perplexity用于模 型训练。K2是月之暗面Kimi于本周五发布的一款万亿参数的开源模型，在多项测试中取得全球主流开 源模型的最好成绩。（全天候科技） ...

2025 年 07 月 13 日 计算机 RDA：链接加密货币和数据要素的桥梁 7 月 10 日，上海市国资委党委召开中心组学习会，围绕加密货币与 稳定币的发展趋势及应对策略开展学习。此前 7 月 2 日，上海数据交 易交所在财政部主管的中央级财经媒体发表署名文章《RDA：数据要 素价值化探索》，首次提出 RDA（Real Data Assets）新范式，以期 构建链接加密货币和数据要素的桥梁。 证券研究报告 投资评级 领先大市-A 维持评级 RDA：实数融合新范式、数据价值化新引擎 RWA（Real Word Assets）作为资产价值化新赛道，具有经济性、共 识性、真实性、流动性、透明性五大优势，在全球范围内发展迅速， 促进了实体资产在数字世界的价值映射。上海数据交易所首次提出 RDA （Real Data Assets）新范式，更强调锚定实数融合的实体资产， 更强调数据对其他实体资产的真实性校验和价值提升等作用，RDA 一 方面可以帮助数据要素市场化、价值化进程加速，另一方面可以推动 数据要素和其他要素的联动发展，提升实体资产和资本的对接效率， 促进新质生产力发展，推动实体经济和数字经济深度融合制度落地 ...

整理 | 傅宇琪、褚杏娟 引言：Manus 大规模裁员，将总部迁至新加坡并百万年薪招聘，国内多平台账号清空；知情人士：智 谱同时准备香港、A 股 IPO 工作，A 股上市概率较高；百川智能联合创始人谢剑将离职；OpenAI 首 个开源权重 AI 模型再延期，收购 Windsurf 失败；阿里巴巴副总裁、钉钉前任 CEO 不穷即将离职； 英特尔被曝大面积裁员，CEO 陈立武坦言：公司已跌出芯片行业前十；月之暗面 Kimi K2 发布并开 源；Grok-4 系列模型已开放使用…… 行业热点 Manus 大规模裁员，将总部迁至新加坡并百万年薪招聘，国内多平台账号清空 7 月 11 日，有报道指出，Manus 北京办公区仅剩十余名员工在岗，门口已无公司 logo，公司明确表 示"不再招聘"。尽管招聘平台仍显示有二十余岗位在招，但实际情况与之不符。多名离职员工透露， 最初因看好 Manus AI 产品前景而加入，但工作数月后不得不离开。 同日，通用 AI 智能体公司"Manus"的官方微博和小红书账号的内容均已清空，今年 3 月份与阿里通 义千问合作的微博也已删除。据蓝鲸报道，对于 Manus 将与阿里通义千问合作开发 ...

点评:英伟达上周盘中市值一度突破3.92万亿美元，随后再创新高。 当地时间7月11日，英伟达收164.92 美元/股，市值达到4.02万亿美元。英伟达市值是由AI芯片的需求支撑。今年以来，黄仁勋奔走世界多 地，呼吁建设"AI工厂"，这种"AI工厂"的算力支撑便是英伟达GPU。 英伟达收盘市值突破4万亿美元 当地时间7月10日，英伟达成为全球首家收盘市值突破4万亿美元大关的公司。随着英伟达股价上涨，据 彭博亿万富豪指数，截至周四美股收盘，黄仁勋的净资产已升至约1430亿美元，今年以来他的身家已累 计增长逾287亿美元。黄仁勋在亿万富豪榜单中的排名跃居全球第十位。 xAI正式发布Grok4 7月10日，埃隆·马斯克(Elon Musk)带领xAI团队发布最新大模型Grok4，官方称这是"全球最强大的AI模 型"，马斯克则在直播中表示，"Grok4几乎在所有学科上都比人类研究生更聪明"。数据显示，Grok4在 多项基准测试上实现了对现有顶尖模型的超越。在AIME25数学竞赛上，Grok4拿下了满分，在"人类最 后的考试"（HLE）测试中，不用工具的情况下拿下26.9%的高分。测评机构ArtificialAnalys ...

在技术性能上，Kimi K2模型展现出强劲实力。在SWE Bench Verified、Tau2、AceBench等多项基准性 能测试中，该模型均取得开源模型中的最优成绩，充分彰显了其在代码、Agent及数学推理任务上的领 先水平。值得关注的是，在预训练阶段，Kimi K2采用MuonClip优化器，实现了万亿参数模型的稳定高 效训练。在当前人类高质量数据成为发展瓶颈的背景下，这一技术有效提升了Token利用效率，为模型 找到新的Scaling空间。尤其在自主编程（Agentic Coding）、工具调用（Tool Use）和数学推理（Math & Reasoning）三大核心能力维度的基准性能测试中，Kimi K2均收获优秀表现。 除了在基准测试中成绩亮眼，Kimi K2在多个实际应用场景中也体现出更强的能力泛化性和实用价值， 进一步验证了其技术落地的潜力。 来源：环球网 【环球网科技综合报道】7月12日消息，月之暗面于昨日正式发布Kimi K2模型，并同步宣布开源。该 模型作为一款采用MoE架构的基础模型，总参数达1T，激活参数为32B，在代码能力与通用Agent任务 处理方面表现突出。 为方便用户体验与 ...

月之暗面Kimi K2发布并开源 擅长代码与Agentic任务 智通财经7月11日电，月之暗面今天宣布，正式发布Kimi K2模型，并同步开源。Kimi K2是一款具备更 强代码能力、更擅长通用Agent任务的MoE架构基础模型，总参数1T，激活参数32B。 ...

月之暗面Kimi发布MoE架构基础模型K2并同步开源，总参数1T，激活参数32B，在自主编程、工具调 用、数学推理等领域超越全球其他开源模型。Kimi K2使用MuonClip优化器实现万亿参数模型的高效训 练，在高质量数据遇到瓶颈的背景下通过提升Token效率，找到新的预训练扩展空间。K2具备更强代码 能力，擅长通用Agent任务，在多个实际场景中展现出更强的能力泛化及实用性，新模型目前已上线开 放体验。(36氪) ...