本报记者 贾丽 "鸿蒙6来了！"6月20日，华为常务董事、终端BG董事长余承东在华为开发者大会2025（以下简称"HDC2025"）上宣布鸿 蒙6国产操作系统启动开发者公测，并首发鸿蒙智能体框架，带来全新的鸿蒙智能体。而这距离鸿蒙5公测版本的启动仅过了约 8个月。 随着鸿蒙系统的不断迭代，生态发展也日渐佳境。随着更多企业和开发者加入共建，鸿蒙生态正以开放姿态、更强生命 力，吸纳新力量、持续壮大技术共同体，迈向全新发展阶段。 余承东表示，超30000个应用及元服务在加速开发中，覆盖政务、医疗、工业等近20个行业。 截至目前，鸿蒙开发者数量突破800万个，开源鸿蒙也成为发展最快的开源操作系统，代码已经超过1.3亿行，社区贡献者 接近9000位，软硬件产品1200款，三方发行版已经达到69款，覆盖了政务、交通、金融等众多领域。 鸿蒙开发者规模发展迅猛，应用也在不断进化。其中，钉钉、飞书等100多个通用办公平台已"鸿蒙化"，覆盖约3800万家 企业。基于鸿蒙的小红书播放器，启播耗时降低并且具备高扩展性；飞书的鸿蒙文本渲染器，支持20多种样式。 据介绍，较上一代鸿蒙，鸿蒙6全新的互联和智能体验将实现全场景体验更易用，时 ...

DeepSeek-R1（0528）性能突破 - 开源模型DeepSeek-R1（0528）在LMArena的WebDev Arena测试中以1408.84分超越Claude Opus 4（1405.51分），与Gemini-2.5-Pro-Preview-06-05（1433.16分）并列第一 [1][4] - 采用混合专家（MoE）架构，总参数量6850亿，单次推理激活370亿参数，支持128K tokens长上下文窗口，在数学推导和代码生成能力上显著提升 [9] - 在细分测试中表现：硬提示词第4、编程第2、数学第5、创意写作第6，多轮对话第7 [7] 开源与闭源模型竞争格局 - DeepSeek-R1以MIT许可证开源，性能对标Claude Opus 4和GPT-4.1，开发者社区认为其免费特性可能改变行业生态 [12][14] - 月之暗面同期发布开源模型Kimi-Dev-72B，在SWE-bench Verified测试中以60.4%得分创开源模型SOTA，超越R1（0528）的编码表现 [23][26] - Kimi-Dev-72B通过BugFixer与TestWriter双角色设计、1500亿数据中期训练及强化学习优化，实现真实仓库Docker修复能力 [28][30][31] 行业争议与动态 - LMArena测试平台被Cohere、斯坦福等机构指控偏袒科技巨头，Meta被指测试27个未公开模型变体以优化榜单排名 [17][19] - 社区对测试结果态度分化：部分开发者认为R1已具备碾压闭源模型的编程辅助能力，另一部分质疑WebDev Arena测试公正性 [16] - 月之暗面与DeepSeek的技术路线差异：前者侧重强化学习与自我博弈机制，后者聚焦训练后优化和计算效率 [26][31][32]

南京软件产业规模与增长 - 南京软件产业规模达8600亿元，居全省第一、全国前列 [1] - 2024年一季度产业收入2128亿元，增速高于全国1.2个百分点、全省1.8个百分点 [1] - 软件产业即将成为南京首个万亿元产业 [1] - 20年间南京软件业从166亿元增长至8600亿元，实现跨越式发展 [1] 产业发展历程与政策支持 - 2001年南京将软件定位为"第一优先鼓励发展产业" [1] - 2001年中兴通讯南京研发中心一期落成，2005年华为入驻带动产业集聚 [5] - 2011年"一谷两园"政策设立独立金库，土地出让金返还支持产业发展 [6] - 2021年南京软件和信息服务集群跻身"国家队"，目标四年迈进万亿 [7] 核心技术突破与国产化 - 翼辉信息开发国内首个内核完整自主知识产权的工业实时操作系统"SylixOS"，近5年承担20项国家重大专项 [3] - 统信软件基于开源技术构建统信UOS，适配软硬件近800万款，用户超5000万台 [7] - 傲拓科技100%国产化PLC控制系统应用于三峡电站、南水北调等国家战略工程 [3] - 南京近200家信创企业创造全省50%以上信创收入 [7] 工业软件发展 - 南京工业软件规模占全省四成以上，目标2028年突破500亿元 [10] - 金恒科技智慧运营中心系统实现46万个点位数据毫秒级采集分析 [10] - 维拓科技MOM系统攻克中小企业数字化难题，跻身国家级专精特新"小巨人" [10] - 我国工业软件全球份额不足7%，与制造业全球占比超30%形成反差 [9] 人工智能与新兴技术 - 图灵人工智能研究院孵化丰码科技，其AI模型Unigro实现番茄种植节水40%、增产40% [11] - 玄武区"大模型工厂"已产出12个行业大模型 [11] - 大汉软件政务领域专有大模型"星汉"助力江西省政务平台全场景服务 [12] - 南京布局人工智能、智能机器人等新赛道，鼓楼区目标2027年AI产业规模达百亿 [13] 企业生态与产业集聚 - 阿里巴巴江苏总部入驻南京，40余家生态企业提前进驻 [14] - 小米南京科技园作为华东总部布局四大研发板块，未来5年集聚万名研发人员 [14] - 诚迈科技构建"软件定义汽车"产业生态圈，与宝马成立合资研发中心 [15] - 润和软件累计贡献开源鸿蒙超百万行代码，2023年创新业务营收增长41.52% [16][17] 城市优势与人才资源 - 南京软件产业纯软件产品占比超30%，"码农"众多 [15] - 100万在校大学生中约1/4为软件相关专业，毕业生留存率高 [15] - 城市交通便利，生活成本低于上海、杭州，吸引企业集聚 [15]

昇思MindSpore技术优势 - 支持大模型训练Day0迁移和推理一键部署，显著降低开发者使用成本[1] - 通过三重兼容术实现主流加速库模型0代码迁移，训练性能提升5%+[5] - 动态图重构使PyTorch开发者获得原生体验，MSAdapter工具自动转换95%以上接口[5] 训练迁移解决方案 - MindSpeed/Megatron桥接层支持PyTorch模型零代码迁移，训练脚本直接运行[5] - 精度自动对比工具实现跨框架/版本/策略调优，主流模型迁移损耗逼近于零[5] - 框架差异化技术提升训练效率，分布式并行策略保持不变的性能优化[5][6] 推理部署创新 - vLLM-MindSpore插件实现HuggingFace模型半小时部署上线[7] - 三层部署范式：HF权重直接加载/20+主流模型开箱即用/百亿模型权重加载耗时降低80%[7] - 启动时延优化至百亿模型<30秒，图编译时延压缩至毫秒级[7] 开源生态建设 - 已支持50+主流大模型，累计获得1200万次下载，覆盖130个国家及2400座城市[8] - 46000+开发者参与，代码合入请求超11万行，产出1700+学术成果[8] - 提供免费算力平台和20+技术SIG组，企业/高校共治技术路线[9][15] 性能突破 - 动态图编译优化使单卡训练效率提升40%[10] - 自动负载均衡工具解决万卡训练木桶效应，线性度突破96%[10] - 昇腾硬件上实现主流模型逐层0误差精度对齐[10]

Li Auto (LI) Q1 2025 Earnings Call May 29, 2025 08:00 AM ET Speaker0 Ladies and gentlemen, thank you for standing by for Lee Auto's First Quarter twenty twenty five Earnings Conference Call. At this time, all participants are in listen only mode. Today's conference call is being recorded. I will now turn the call over to your host, Ms. Janet Zhang, Investor Relations Director of Li Auto. Please go ahead, Janet. Speaker1 Thank you, Kelly. Good evening, and good morning, everyone. Welcome to Li Auto's first q ...

鱼羊 发自 凹非寺 量子位 | 公众号 QbitAI DeepSeek终于还是在端午节前来炸场了： △ 图源：@flavioAd 也能做对难倒o3、Gemini 2.5 pro、Claude 4等一众顶流大模型的数字新难题" 9.9-9.11=？ "了。 R1更新新版本 DeepSeek-R1-0528 ，看名字你可能以为是个小版本更新，但实际上—— "在LiveCodeBench上几乎与OpenAI o3-high相当！" "讲真这其实就是R2吧。" 不怪网友们惊呼声一片，看第一波实测结果，就知道事情并不简单。 新版R1的小球弹跳实验，与旧版对比结果如下： 新模型已经在HuggingFace上释出，依然是MIT协议。 | 8 main v | DeepSeek-R1-0528 | | Q | | --- | --- | --- | --- | | | · 1 contributor | 9 History: 11 commits | | | | msr2000 Add files using upload-large-folder tool | 174da7f | | | | VERIFIED | | | ...

VNET Group (VNET) Q1 2025 Earnings Call May 28, 2025 08:00 AM ET Speaker0 Hello, ladies and gentlemen. Thank you for standing by for the First Quarter twenty twenty five Earnings Conference Call for VNet Group Inc. After the management's prepared remarks, there will be a question and answer session. Please note the Chinese line is in listen only mode. If you wish to ask questions, please dial in through the English line. Participants from our management include Mr. Zhu Ma, rotating president Mr. Qi Yu Wang, ...

开源AI模型Devstral发布 - 法国AI初创公司Mistral与开源初创公司All Hands AI合作发布全新开源语言模型Devstral，拥有240亿个参数 [2] - 该模型比许多竞争对手的模型更小，所需算力更低 [2] - 模型根据宽松的Apache 2.0许可证免费提供，允许不受限制地部署、修改和商业化 [4] 技术特点与性能 - Devstral可在单块RTX 4090显卡或配备32GB RAM的Mac上运行，适合本地部署和设备端使用 [1][3] - 专门设计用于解决现实世界软件工程问题，能在大型代码库中进行上下文关联和错误识别 [4][5] - 在SWE-Bench Verified基准测试中取得46.8%的得分，领先所有开源模型和部分闭源模型 [6] - 比GPT-4.1-mini高出20多个百分点 [6] - 在OpenHands测试框架下表现优于Deepseek-V3-0324(671B)和Qwen3 232B-A22B等更大规模模型 [9] 商业化与访问 - 通过Mistral的Le Platforme API提供访问，型号为devstral-small-2505 [12] - 定价为每百万输入Token 0.10美元，每百万输出Token 0.30美元 [12]

公司动态 - 字节跳动技术团队宣布推出全新开源项目DeerFlow [1] - DeerFlow基于LangStack技术开发 [1] - 项目已在ByteDance的GitHub官方组织上开源 [1]

央企牵头AI开源社区 - 中国电信天翼云牵头发起魔乐社区（Modelers.cn），提供AI工具、模型、数据托管及学习交流平台 [2][6] - 社区线下成立理事会，由14家单位组成，覆盖AI芯片、模型、数据、科研机构等全产业链环节 [3][7][8] - 理事会设立治理、建设、运营委员会及秘书处，并引入特别兴趣小组（SIG）机制和淘汰机制 [11][13][15] 社区资源与生态协同 - 提供9024个开源模型（含文本、图像、音频等多模态）和1120个数据集，均完成国产硬件适配 [18][19][21] - 联合算力成员提供免费国产算力资源，支持在线体验空间快速创建AI应用 [21][22] - 产学研联动案例：上海AI实验室贡献模型/数据，硅基智能通过社区弥补大模型短板并反馈数字人技术 [24][26][27] 差异化定位与行业痛点解决 - 现有平台（如GitHub、Hugging Face）存在开放性不足、工具适配局限及产业链协同缺失问题 [30][34][35] - 魔乐社区以中立公益原则整合异构算力/工具，通过社区协调解决版权争议和敏感数据开源困境 [43][40][41] - 目标构建开放协同的AI生态，加速国产技术落地，未来计划联合高校培养人才 [45][46][29]