Software
搜索文档
字节推出形式化数学推理专用模型Seed Prover 1.5
新浪财经· 2025-12-24 04:23
公司动态 - 字节跳动Seed团队于12月24日宣布推出形式化数学推理专用模型Seed Prover 1.5 [1] - 相比上一代模型,Seed Prover 1.5在16.5小时内针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码 [1] - 该模型换算成绩为35/42,达到此前国际数学奥林匹克竞赛评分标准的金牌分数线 [1] - 公司已对外公开Seed Prover 1.5的技术报告 [1] - 后续将开放API,邀请感兴趣的数学和AI研究者体验该模型 [1] 技术进展 - 新发布的Seed Prover 1.5是形式化数学推理专用模型 [1] - 模型在解决国际数学奥林匹克竞赛级别问题上展现出强大能力,成绩达到金牌标准 [1]
下一个“AI卖铲人”:算力调度是推理盈利关键,向量数据库成刚需
华尔街见闻· 2025-12-24 04:17
AI基础设施软件行业概览 - 生成式AI应用加速渗透,AI基础设施软件成为应用落地的关键“卖铲人”,行业正迎来黄金发展期 [1] - 与模型训练环节被巨头垄断不同,推理和应用部署环节为独立软件厂商打开了新的商业空间 [1] - 当前两类产品最为关键:算力调度软件和数据类软件 [1] 算力调度软件 - 算力调度能力是决定模型推理服务盈利水平的核心变量,直接决定毛利率 [1][6] - 在单日10亿查询量场景下,使用H800芯片,单卡吞吐能力每提升10%,毛利率能够提升2-7个百分点 [1][6] - 敏感性分析显示,当单卡吞吐从基准值的0.6倍提升至1.4倍时,毛利率可从52%提升至80% [6] - 海外云厂商毛利率差异显著,2025年三季度谷歌云毛利率43.3%,微软智能云34.6%,亚马逊AWS仅为23.7%,硬件调度能力影响关键 [8] 国内厂商算力调度实践 - 国内模型价格战激烈,成本控制至关重要,例如Deepseek V3定价为每百万token输入2元、输出3元,远低于海外同类产品1.25-5美元的价格 [5] - 华为Flex:ai实现异构算力统一调度,通过芯片级切分技术,在特定场景下可将平均利用率提升30% [5] - 阿里巴巴Aegaeon实现token级动态调度,将10个模型所需GPU数量从1192张锐减至213张,资源节约率达82% [5] - 英伟达Run:ai可将GPU利用率提升5倍,Deepseek自研调度系统实现成本利润率545% [6] 向量数据库与RAG技术 - 向量数据库是RAG应用的刚需基础,Gartner预测2025年企业RAG技术采用率将达68% [1][10] - 2024年全球已有45%的企业在智能客服、数据分析等场景部署RAG系统 [10] - 向量数据库核心价值在于支撑海量数据的毫秒级检索,需在亿级数据规模下保持高QPS实时检索能力 [10] - 从2024年四季度开始,通过API接口接入大模型的Token消耗量一年内翻了近10倍,直接拉动了向量数据库需求 [11] 数据库格局重塑 - 生成式AI时代,数据架构正从“分析优先”转向“实时运营+分析协同”,高频、低延迟的实时事务处理需求凸显OLTP数据库优势 [12] - MongoDB凭借低门槛、高弹性契合中小客户AI落地需求,2026财年一至三季度核心产品Atlas收入增速分别为26%、29%、30% [15][16] - MongoDB在2025年2月以2.2亿美元收购Voyage AI补齐向量检索能力,其嵌入模型在HuggingFace RTEB测评中排名前列 [16] - 2026财年三季度MongoDB毛利率达76%,预计年底经营利润率达18%,全年营收增长率约21%-22% [16] 数据平台厂商的应对策略 - Snowflake与Databricks选择向上下游纵向拓展,打造全栈工具链 [15][17] - Snowflake 2025财年收入达36.26亿美元,同比增长29.21%,预计2026财年收入44.46亿美元 [17] - Databricks 2025年年化收入超48亿美元,同比增长55%,数据湖仓产品年化收入超10亿美元,净留存率超140% [17] - 截至2026财年三季度,Snowflake年消费超100万美元的高价值客户达688家,福布斯全球2000强企业中已有766家成为其客户 [17] 存储架构技术升级 - AI推理进入实时化、PB级数据访问新阶段,存储IO性能至关重要,LLM推理的KV缓存访问粒度仅8KB-4MB,向量数据库检索粒度低至64B-8KB [18] - 英伟达推出SCADA方案实现GPU直连SSD,将IO延迟从毫秒级降至微秒级,测试显示1颗H100 GPU的IO调度效率是Gen5 Intel Xeon Platinum CPU的2倍以上 [18] - 向量数据库需进行技术升级,包括采用GPU适配的列式存储、将检索算法改为GPU并行版本、自主管理GPU显存分配 [19]
破局者鸿蒙:日增15万终端,国产OS的星辰大海与全球“新选择”
证券时报· 2025-12-24 04:15
文章核心观点 - 鸿蒙操作系统已成功跨越16%市场份额的生态分水岭 成为全球移动操作系统格局中的新选择 其发展速度与技术创新能力已引发质变 并正通过独特的“双轮驱动”模式(商业鸿蒙与开源鸿蒙) 撬动万物互联的广阔市场 为中国数字经济发展构建自主可控的系统底座 引动基础软件产业升级和巨大的市场与就业机遇 [2][3][4][6][8][9][11][12][13][14][16][18] 全球操作系统市场格局与鸿蒙的突破 - 全球操作系统长期处于两极格局 新操作系统站稳脚跟需跨越16%市场占有率的生态分水岭 [4] - 2025年第三季度 鸿蒙操作系统在中国市场份额提升至18% 连续7个季度超越iOS(16%) 成功跨越分水岭 [4] - 搭载鸿蒙5及鸿蒙6的终端设备数超3200万台 成为智能终端史上发展最快的操作系统 从0到1000万用时10个月 从1000万到超3000万仅用时5个月 发展速度持续加快 [4] - 鸿蒙系统版本更新超100次 系统功能新增超300项 注册开发者超1000万 12月以来每天新增设备数量超15万台 排名前5000的应用已全面在鸿蒙系统上架 [6] 鸿蒙的技术创新与能力跃升 - 鸿蒙6的发布被视为鸿蒙从“国产突破”走向“成熟好用”的里程碑 在安全性、流畅性、跨设备互联体验及AI能力上实现质的飞跃 [6] - 鸿蒙5通过整合盘古大模型和“小艺”智能体 将设备整机性能较鸿蒙4提升30% 超过了半导体工艺制程升级两代带来的性能提升 [6] - 鸿蒙6通过端侧AI与分布式架构深度融合 将智能交互从“指令响应”推向“感知协同” 小艺从“语音助手”变为“调度中枢” 支持跨应用调度 [6] - 鸿蒙6搭载星河互联架构与星闪技术 增强跨端协同能力 首次实现华为与苹果设备间的原生级跨生态文件互传 [6] 鸿蒙的生态战略与产业带动 - 鸿蒙采用“双轮驱动”打法:商业鸿蒙是移动领域的“商业先锋” 开源鸿蒙(OpenHarmony)是千行百业的“数字底座” [9][11] - 鸿蒙设计之初强调跨平台、分布式能力 旨在解决“设备孤岛”问题 实现万物互联 [9] - 鸿蒙撬动移动物联网百亿级市场 2024年我国移动物联网综合收入达452.71亿元 终端应用于公共服务、车联网、智慧零售、智慧家居、工业制造等领域的规模分别达10.2亿个、4.8亿个、3.8亿个、3.4亿个和1.1亿个 [9] - 开源鸿蒙由全球开发者与上百个行业共同推动 已深入工业、无人机、金融、交通、教育、医疗、能源、航天等核心领域 例如“矿鸿”操作系统在煤矿领域首次实现统一的设备层操作系统 [11] - 预计未来5年 开源鸿蒙生态将新增4亿终端设备 假设IoT设备系统单价为80元到120元 未来五年有望产生320亿元到480亿元的设备操作系统市场规模 [11] - 鸿蒙引领的“生态共建”正重新激活从硬件厂商到软件供应商的产业链 [12] 鸿蒙的战略意义与市场机遇 - 鸿蒙作为一个完全自主可控、全栈自研的操作系统 为中国数字经济发展构建了坚实的系统底座 是国家安全与数字主权的“压舱石”之一 [14][16] - 鸿蒙的崛起处于“数字中国建设”、“信创”与“发展新质生产力”等国家战略交汇的历史性时刻 是撬动中国基础软件产业升级和数字体系创新的战略支点 [16] - 2025年中国操作系统市场规模预计将达到586亿元 国产操作系统厂商在新领域、新商业模式的探索中将大有可为 [16] - 2025年中国移动应用生态市场活跃用户规模预计达12.89亿 同比增长2.28% 市场规模预计达3.49万亿元 同比增长7.45% [18] - 鸿蒙生态存在百万级人才缺口 潜在新就业岗位超300万个 2024年鸿蒙开发工程师平均招聘月薪是其他技术类岗位的1.22倍 岗位投递量同比增长超22% [18] 背景与对比 - 全球App Store在2024年共促成1.3万亿美元(约合人民币9.15万亿元)开发者营业额和销售额 已逼近2024年中国新建商品房销售额(9.675万亿元) [1]
港股异动 | 百融云-W(06608)现涨超4% 公司推出硅基员工 有望重塑TO B端AI应用商业模式
智通财经· 2025-12-24 03:35
公司股价与交易动态 - 百融云-W(06608)股价上涨3.79% 报11.23港元 成交额575.85万港元 [1] 公司战略与产品发布 - 百融云创正式发布企业级AI Agent战略 明确提出RaaS商业模式 [1] - 推出Results Cloud(结果云)与面向多业务岗位的企业级Agent产品体系 [1] - 宣布与产业伙伴共建“硅基生产力生态” 加速“硅基员工”在营销、客服、人力、法务等高价值岗位规模化上岗 [1] 公司资本运作 - 百融云本月初宣布拟购回总价值不超过4.5亿港元的股份 [1] 行业分析与商业模式展望 - 公司在业界率先推出AI员工(硅基员工)体系具有重大战略意义 [1] - 公司将从卖模型服务拓展为出租AI员工 TO B端AI和软件行业的商业模式将有可能出现颠覆性转变 [1] - 随着AI员工的破冰和规模商用并解决B端客户痛点 公司的业务结构将会发生重大变化 [1] - 伴随硅基员工的行业生态布局 公司的业务范围也将跳出金融领域 赋能千行百业 具备广阔的想象空间 [1]
鸿蒙的“同心圆”如何织就万物智联新叙事
新浪财经· 2025-12-24 03:34
开源鸿蒙生态发展 - 央视鸿蒙星光盛典以“在一起,就可以”为核心,展现了开源鸿蒙系统在工业与民生领域的落地应用 [1][1] - 具体落地场景包括矿山自主作业、大坝数据实时更新、病房远程守护以及球场记录成长 [1][1] - 生态已覆盖超过9000个应用和1200款产品,这些成果打破了海外技术垄断 [1][1] 技术价值与行业影响 - 开源鸿蒙系统被喻为为中国工业装上了“中国心”,强调了其自主可控的核心技术价值 [1][1] - 该技术路径被描述为一条值得关注的中国科技新路,其特点是技术中蕴含着温暖的连接 [1][1]
炸锅!GitHub 要对自托管运行器收费。开发者怒喷:吃相难看
程序员的那些事· 2025-12-24 02:47
GitHub Actions 定价策略的重大调整与市场反应 - GitHub宣布自2026年3月1日起,对自托管运行器(Self-hosted runners)开始收费,费率为每分钟0.002美元,此举标志着该服务从免费转向收费的重大转折[4][5] - 与此同时,GitHub托管运行器(GitHub-hosted runners)的价格将在2026年1月1日分别下调20%和39%[7] - 官方解释收费原因为:自托管运行器的免费服务一直由托管运行器的收入补贴,而GitHub Actions平台日常维护和功能迭代成本高昂,目前每天需处理7100万个任务[10] 开发者社区的强烈反对与不满 - 收费政策引发开发者强烈不满,主要争议点在于用户需要为自己服务器上运行的软件按分钟付费[8] - 开发者举例,高强度使用下,持续集成工作流每月需为此支付超过140美元[11] - 开发者不满的深层原因在于认为GitHub忽视核心平台优化,例如自托管运行器的开源应用已不再接受社区贡献,且部署配置复杂、服务存在不稳定等问题[12] - 有用户反映,使用自托管运行器的构建速度比GitHub云托管版本快10倍以上,突显了托管服务性能的不足[12] 市场竞争与GitHub的应对措施 - GitHub的收费决策可能面临竞争压力,例如竞争对手Depot为GitHub Actions提供优化版运行器,按秒计费且价格仅为GitHub托管运行器的一半[13] - 为安抚开发者,GitHub承诺加大对自托管Actions的投入,包括推出弹性伸缩客户端、为运行器控制器增加多标签支持以及上线Actions数据流功能[17] - 然而,开发者更希望GitHub将精力集中于核心平台优化,而非争议性的AI功能和界面改版[14] - 市场出现负面反馈案例,Zig项目宣布弃用GitHub,理由之一是Actions服务不稳定且长期缺乏维护[15] 政策反转与最终结果 - 由于开发者吐槽过多,GitHub最终收回了对自托管运行器收费的决定[16]
鸿蒙星光盛典:于无人处起笔 绘万物生机
新浪财经· 2025-12-24 02:39
鸿蒙星光盛典致敬追光人!曾有人觉得国产自研系统难如登天,这群追光者偏要闯无人区,用一行行原 生代码拼出底气。真正的领先,从不是要站在别人开辟的道路上领跑到最后,而是敢开辟属于自己的 路。鸿蒙不求对立,只为做全球第三选择,从一粒种子长成林木,这是中国科技生态的集体远征,追光 汇聚,笃定前行! 鸿蒙星光盛典致敬追光人!曾有人觉得国产自研系统难如登天,这群追光者偏要闯无人区,用一行行原 生代码拼出底气。真正的领先,从不是要站在别人开辟的道路上领跑到最后,而是敢开辟属于自己的 路。鸿蒙不求对立,只为做全球第三选择,从一粒种子长成林木,这是中国科技生态的集体远征,追光 汇聚,笃定前行! ...
优刻得接入智谱GLM-4.7
证券时报网· 2025-12-24 01:49
人民财讯12月24日电,据优刻得消息,公司战略合作伙伴智谱上线并开源GLM-4.7,优刻得模型服务平 台UModelVerse已完成部署并正式上线。 ...
三维天地12月23日获融资买入503.20万元,融资余额7483.61万元
新浪财经· 2025-12-24 01:39
公司股价与交易数据 - 12月23日,三维天地股价下跌2.26%,成交额为7438.33万元 [1] - 当日融资买入503.20万元,融资偿还563.68万元,融资净卖出60.48万元 [1] - 截至12月23日,融资融券余额合计7483.61万元,其中融资余额7483.61万元,占流通市值的2.80%,该融资余额水平超过近一年80%分位,处于高位 [1] - 融券方面,当日无融券交易,融券余量为0股,余额为0元,该融券余额水平超过近一年90%分位,处于高位 [1] 公司股东与股本结构 - 截至9月30日,股东户数为1.02万户,较上期减少2.23% [2] - 截至9月30日,人均流通股为5185股,较上期增加27.66% [2] - 截至2025年9月30日,诺安多策略混合A(320016)为新进第六大流通股东,持股43.88万股 [3] 公司财务与经营业绩 - 2025年1月至9月,公司实现营业收入1.34亿元,同比增长5.85% [2] - 2025年1月至9月,公司归母净利润为-7521.66万元,同比增长32.49% [2] - 公司A股上市后累计派现1392.30万元,近三年累计派现773.50万元 [3] 公司基本情况 - 公司全称为北京三维天地科技股份有限公司,成立于1995年7月3日,于2022年1月7日上市 [1] - 公司主营业务涉及检验检测信息化、数据资产管理等应用软件产品的研发、销售及实施,并提供相关的技术服务 [1] - 主营业务收入构成为:软件产品销售与实施占77.40%,运维收入占22.57%,其他业务收入占0.03% [1]
华安基金科创板ETF周报:科创板融资活跃,科创50指数上周回调
新浪财经· 2025-12-24 01:21
科创板政策动态 - 证监会召开党委会议,明确要求加快科创板“1+6”改革举措落地,旨在通过深化综合改革提高资本市场制度包容性和吸引力,增强市场活力[1][15] - 政策举措包括配合国家战略规划、优化融资环境,并与创业板改革联动实施,以强化科创板作为服务科技创新企业关键平台的功能定位[1][2][16] - 上周新增受理2家科创板IPO企业,推动全年新增受理企业总数达210家,截至12月中旬,各板块在审企业共266家,其中科创板占比13.5%[1][15] 科创板市场概况与资金流向 - 过去一周科创板主要指数普遍回调,科创50指数本周收益为-2.99%,科创信息指数为-3.33%,科创芯片指数为-4.17%,科创生物指数为-1.64%[4][17] - 今年以来主要指数收益表现强劲,科创成长指数收益达78.92%,科创芯片指数收益达57.84%,科创信息指数收益达45.90%,科创50指数收益达35.02%[4][17] - 行业层面,科创板前五大行业为电子、医药生物、电力设备、计算机和机械设备,合计占科创板88.7%的公司市值[4][17] - ETF资金流向方面,跟踪科创板相关指数的ETF当周资金净流入52.6亿元,但年初以来资金净流出883.7亿元[4][17] 新一代信息技术(芯片)板块 - 板块上周回调,但产业基本面强劲,2025年11月规模以上电子专用材料制造和集成电路制造增加值分别增长30.9%和32.4%[5][18] - 全球半导体景气度提升,研究机构Omdia数据显示,第三季度全球半导体营收首次突破2000亿美元,环比增长14.5%,AI驱动需求旺盛[5][18] - 存储领域价格变化显著,DRAM与NAND闪存现货价自9月以来累计上涨超300%,NAND闪存短缺或加剧[5][18] - 科创芯片ETF(588290)前十大权重股包括海光信息(权重10.86%)、寒武纪(权重9.84%)、中芯国际(权重8.87%)等,上周普遍下跌[13][26] 高端装备制造板块 - 高端装备制造业是战略性新兴产业,2025年11月高技术制造业增加值增长8.4%,快于规模以上工业增加值3.6个百分点[6][19] - 具体产品产量快速增长,11月3D打印设备、工业机器人、新能源汽车产品产量同比分别增长100.5%、20.6%、17.0%[6][19] - 技术加速落地,具身智能技术、多模态交互机器人开发持续推进,国产化“算力基础设施+世界模型+具身智能”生态加速构建[6][19] - 企业量产布局加速,多家人形机器人制造园区投建推进,机器人核心部件加速国产替代,谐波减速器等关键零部件企业送样认证比例提升[6][19] 医药板块 - 上周医药板块整体回调,创新药公司跌幅尤为明显,原因包括港股医药板块流动性偏弱、南下资金流出及年末IPO集中上市分流资金,后半周走势逐步回稳[6][21] - 生物安全法案落地符合预期,CXO板块短期情绪压制因素释放,外需CDMO订单和业绩延续强劲趋势,中国CDMO在全球供应链的位置难以替代[6][21] - 内需CRO景气度拐点明确,季度新签订单环比加速增长,Q4以来国内新签呈现“量价齐升”趋势,CRO利润端2026年有望触底反弹[6][21] - 展望2026年,创新药产业全球竞争力持续加强、出海持续落地、商业化盈利兑现,进入26年第一季度有较多催化剂可期待[6][21] 相关ETF产品概况 - 科创信息ETF(588260)跟踪科创信息指数,选取科创板中下一代信息网络、电子核心、人工智能等领域的50只证券,前三大权重股为海光信息(10.98%)、寒武纪(10.15%)、中芯国际(9.16%)[7][8][22][23] - 科创50ETF(588280)跟踪科创50指数,由科创板中市值大、流动性好的50只证券组成,前三大权重股为寒武纪(10.59%)、海光信息(10.13%)、中芯国际(9.55%)[10][24][25] - 科创芯片ETF(588290)跟踪科创芯片指数,选取业务涉及半导体全产业链的科创板证券,前三大权重股为海光信息(10.86%)、寒武纪(9.84%)、中芯国际(8.87%)[11][13][25][26]