Meta的AI战略调整 - 扎克伯格提出"个人超级智能"愿景，目标是让每个人借助AI实现个人目标 [2] - 公司正在调整AI模型发布策略，从激进开源转向谨慎选择性开源，强调需管理超级智能带来的安全挑战 [3][6] - 此前Meta将开源视为核心优势，承诺打造性能媲美闭源的先进开源模型（如Llama系列），但最新表态显示开源不再是默认选项 [5][6][8] 开源策略的转变与行业影响 - 2024年扎克伯格曾明确表示"Meta致力于开源AI"，并预测Llama后续模型将成为业内最先进 [6] - 2025年立场变化：不再承诺开源所有成果，尤其涉及"能力质变"的模型可能闭源 [7][8] - 这一转变使DeepSeek、通义千问和Mistral成为全球少数坚持开源最先进模型（SOTA）的公司 [9][10] 商业化与资源投入 - Meta斥资143亿美元投资Scale AI并重组AI部门为"Meta Superintelligence Labs"，集中资源开发闭源模型 [11][12] - 公司暂停开源模型"Behemoth"测试，转向闭源开发，高薪组建独立团队推进AGI研究 [11][12][14] - 商业化路径明确：通过AR眼镜、VR头显等硬件产品推广"个人超级智能"服务 [14] 竞争格局与行业动态 - Meta认为开源不影响其广告核心收入，但闭源竞争对手（如OpenAI）依赖模型访问权限销售 [11] - Llama3开发期间，公司为超越GPT-4逐渐改变策略，最终转向闭源冲刺AGI [11] - 中国公司如DeepSeek-R1的成功激励行业坚持开源，而Meta的退出可能强化中国在开源领域的影响力 [10][17]

以下文章来源于真格基金 ，作者与你同在的 真格基金 . 专注早期投资，欢迎投递商业计划书至 dream@zhenfund.com 这是一期 真格基金管理合伙人戴雨森的访谈实录，也是2025年中，对于整个 AI 行业的一次半年 度复盘。 戴雨森从投资人的视角出发，围绕近期的AI 热点分享了很多有价值的看法，包括：OpenAI 的通用 大语言模型首次达到了 IMO 国际数学奥林匹克金牌水准意味着什么、 ChatGPT Agent 的发布 、 RL研究的进展、AI 应用和 「套壳」的价值都 被低估了、基础模型未来演进的方向等等。 戴雨森认为，2025 年，属于各行各业的「李世石时刻」，可能才刚刚开始。 超 10000 人的「AI 产品市集」社群！每天推荐一款 AI 应用。 邀请从业者、开发人员和创业者，飞书扫码加群： 进群后，你有机会得到： 01 OpenAI 拿下 IMO 金牌， 又一个李世石时刻 Q：最近有哪几件重要的事值得展开聊聊？ 戴雨森： 确实过去这个周末发生了很多事情。我觉得最重要的一件是 OpenAI 的一个新模型，在 IMO （国际数学奥林匹克）2025 年的题目上获得了金牌级别的成绩。具体来说是六 ...

导读：2025年大概率是人工智能真正的元年。在这一年的春节前后，DeepSeek推出的V3和R1模型震撼了全球，不仅是因为这个模型仅仅用了7天 就突破了一亿用户数，而且还采用了完全开源的方式，实现了知识的平权。 7月，世界人工智能大会上，不少开源大模型登上了展台，关于AI大模型的"开源与闭源"之争再次成为焦点话题之一，来自全球的科技领袖、企业家 和学者就此展开深入探讨。 其实，在DeepSeek模型推出后没几天，Open AI首席执行官Sam Altman就承认Open AI选择闭源模型，是"站在了历史的错误一边"。那么，为什 么开源模型那么重要，以及为什么是中国在开源模型上发展迅速呢？ 在此前的一次访谈中， 诺安基金研究部总经理邓心怡把模型开源比作"科技民主化"， 原来只能"厨师做菜"，通过模型的开源每一个人都可以根据自 己的喜好"做菜"，并且二次销售出去。邓心怡认为，"科技每一次技术变革都不会是孤岛式的，而是体系化的，通过体系化的科技变革，将启发新的 经济范式革新。" "开源"是每一次科技革命背后的第一推动力，也是诺安科技组的底层价值观。他们在近期的世界人工智能大会上，对各类科技创新产品做了长达5个 小时 ...

AI技术本质与发展路径 - AI、AGI、ASI三者没有本质区别，是一个持续演进的过程而非阶段性飞跃 [5][9][10] - 当前AI技术已从解决"玩具问题"转向处理现实复杂问题，带来思维方式变革 [7][8] - 算力百万倍提升将彻底改变任务规划逻辑，如同交通工具升级改变行程规划方式 [8] 中国AI产业现状与竞争格局 - 行业处于马拉松早期阶段，企业尚未建立不可逾越的壁垒，新玩家仍有入场机会 [3][17] - 中国AI进步由DeepSeek、阿里巴巴、月之暗面等企业良性竞争推动 [3][16] - 中国市场不仅是销售渠道，更是技术成熟的关键试验场，可快速验证数百万种AI可能性 [15] - 杭州等区域创业氛围浓厚，约每4-5人中就有1位CEO，形成创新生态 [17] 技术商业化与行业前景 - 仅1%技术能转化为生意，云计算因基础设施属性可能持续繁荣50-100年 [22] - 当前AI模型能力已超越GPT-4o，但应用开发创造力不足成为主要瓶颈 [19] - ChatGPT类产品只是AI应用的冰山一角，更多场景有待探索 [19] 创新方法论与人才战略 - 早期创新业务无需最贵人才，需寻找符合长期愿景的合适人选 [20][25] - 阿里云首笔收入来自初创企业，验证小公司对新技术的敏锐度 [24] - 硅谷式高薪挖人并非制胜关键，阿里云CTO周靖人系15年前自主培养 [25] 技术淘汰与迭代规律 - ChatGPT热潮后涌现的技术/产品中，大部分可能5-10年内消亡 [3][15] - 行业需接受快速试错，允许大部分探索性项目失败以筛选本质创新 [15] - 企业迭代速度呈波浪式前进，整体行业进步依赖多企业交替领跑 [16]

公司动态 - 公司宣布与中国科学院计算技术研究所共建联合实验室，重点攻关"存算一体"等前沿技术 [1] - 实验室已有3项专利进入PCT国际申请阶段 [1] - 该举措发生在公司算力租赁业务上市冲刺阶段 [1] 业务发展 - 公司采取"上市+研发"双轮驱动模式 [1] - 联合实验室未来或形成新的利润增长点 [1] - 该模式被教育界人士认为将加速科研成果转化 [1] 技术布局 - 公司通过共建实验室强化技术壁垒 [1] - 研发重点为"存算一体"等前沿技术 [1] - 已有3项专利进入国际申请阶段显示技术储备 [1]

新能源汽车行业竞争 - 乐道汽车总裁沈斐在理想i8广告下留言推荐自家产品L90，引发"水军"争议[1][2] - 乐道L90与理想i8同为纯电大三排SUV，面向家庭用户，L90售价17.98万元起[25][26] - 理想i8发布会上展示与8吨卡车碰撞测试，东风柳汽声明称其侵权并误导公众[5][8][9] 科技公司动态 - OpenAI年化营收达120亿美元，ChatGPT周活用户突破7亿，计划融资400亿美元[36] - Meta计划2025年投入720亿美元加码AI基础设施，并持续开发AI眼镜[37][42] - 微软第四财季净利润增长24%至272亿美元，Azure收入同比增长34%[40] 芯片与安全 - 英伟达H20算力芯片被曝存在安全漏洞，遭中国网信办约谈[5] - 国家安全部警示境外芯片可能预埋后门，建议重点领域采用国产替代方案[5] 消费电子新品 - 鸿蒙智行9月将推5款新车，包括智界R7/S7改款及问界M7纯电版[12] - 小米16系列首发骁龙8 Elite 2芯片，CPU主频4.6GHz，采用台积电3nm工艺[21][22] - 大疆发布首款全景相机Osmo 360，支持8K视频录制，售价2999元起[31][32] 企业战略与投资 - 京东22亿欧元收购德国零售商Ceconomy，后者在欧洲拥有超1000家门店[24] - 腾讯音乐12.9亿元入股SM娱乐成二股东，网易云音乐起诉其滥用市场支配地位[6][29][30] - 罗技计划将中国生产线转移至东南亚，美国进口中国制造产品占比降至10%[41] 人工智能技术突破 - DeepSeek论文获ACL2025最佳论文奖，其原生稀疏注意力机制使长文本处理速度提升11倍[13][14] - 字节跳动Seed团队推出扩散语言模型，推理速度达2146 tokens/s，比传统模型快5.4倍[15][16] 互联网业务调整 - 抖音集团拆分短剧业务成立独立平台，由全资子公司运营[17] - 京东物流推出员工子女高考奖励政策，包括奖金及优先录用[34][35]

财务表现 - 第四季度每股收益3 95美元 超出预期8 96% 同比增长23 7% [1] - 总收入764 4亿美元 同比增长18 1% 超出预期3 7% 按固定汇率计算增长17% [1] - 商业预订额首次超过1000亿美元 同比增长37%（固定汇率下增长30%） [3] - 商业剩余履约义务达3680亿美元 同比增长37%（固定汇率下增长35%） 其中35%将在未来12个月内确认 [4] 云计算与AI业务 - Azure云基础设施收入增长39%（固定汇率下增长35%） 推动股价在盘后交易中上涨9% [2][12] - 微软云收入467亿美元 同比增长27%（固定汇率下增长25%） 毛利率68% [5] - Azure AI服务收入符合预期 核心基础设施业务加速增长 [12] - AI基础设施优化使GPT-4o模型每GPU处理能力提升90% [21] 业务部门表现 生产力与业务流程 - 收入331亿美元 同比增长16%（固定汇率下增长14%） 占公司总收入43 3% [6] - M365商业云收入增长18%（固定汇率下增长16%） 付费席位增长6% [7] - LinkedIn收入增长9%（固定汇率下增长8%） 但人才解决方案受招聘市场疲软影响 [8] 智能云 - 收入299亿美元 同比增长26%（固定汇率下增长25%） 占公司总收入39 1% [11] - 服务器产品与云服务收入增长27% 其中Azure增长39% [12] - 企业支持服务收入增长7%（固定汇率下增长6%） 行业解决方案收入下降 [13] 更多个人计算 - 收入135亿美元 同比增长9%（固定汇率下增长7%） 占公司总收入17 6% [15] - Windows OEM收入增长3% 搜索和新闻广告收入增长21%（固定汇率下增长20%） [15][16] - 游戏收入增长10% Xbox内容与服务收入增长13%（固定汇率下增长12%） [16] AI创新与产品进展 - Copilot月活跃用户超1亿 全产品AI功能用户超8亿 [22] - GitHub Copilot用户达2000万 90%的财富100强公司使用该服务 [22] - Microsoft Fabric收入同比增长55% 服务超2 5万客户 成为公司历史上增长最快的数据库产品 [24] - Azure AI Foundry支持多模型提供商 80%的财富500强公司已采用 [21][25] 游戏业务 - 游戏平台月活跃用户达5亿 成为Xbox和PlayStation平台最大发行商 [17] - 《使命召唤：黑色行动6》玩家达5000万 总游戏时长超20亿小时 [17] - Minecraft创下月活跃用户和收入记录 40款游戏在开发中 [18] - Game Pass年收入首次接近50亿美元 云游戏流媒体时长超5亿小时 [18] 财务与资本 - 现金及短期投资余额945 6亿美元 长期债务431 5亿美元 [31] - 运营现金流426亿美元 自由现金流256亿美元 [32] - 季度股东回报94亿美元 全年累计回报超370亿美元 [32] 业绩展望 - 2026财年第一季度生产力与业务流程收入预计322-325亿美元 Office 365商业收入预计增长13-14% [33][34] - 智能云收入预计301-304亿美元 Azure收入预计固定汇率下增长37% [34][35] - 更多个人计算收入预计124-129亿美元 Windows OEM收入预计中高个位数下降 [36]

生成 式 AI 一、 网传GPT-5泄露！统一双系列，编程实测demo曝光 1. 大量用户在ChatGPT、MacOS应用、Cursor、微软Copilot及OpenAI API平台发现GPT- 5痕迹，预计最快下周发布； 2. GPT-5将整合GPT系列和o系列，实现多模态和推理能力大一统，包括主模型(代 号"nectarine"或"o3-alpha")、mini版(代号"lobster")和nano版(代号"starfish")； 3. 据内部消息，GPT-5将支持100万tokens上下文窗口、MCP协议与并行工具调用，其中 mini版本Lobster特别强化编程能力，远超其他模型。 https://mp.weixin.qq.com/s/BjyjtMPWtQ7IiorYz_EJ3w 二、 梁文锋刚拿下顶级大奖，DeepSeek R2秘密武器曝光 1. DeepSeek与北京大学联合完成的《Native Sparse Attention》论文获ACL最佳论文奖， 实现模型处理长文本速度提升11倍； 2. 该技术首创"原生稀疏注意力"机制，将模型从"割裂拼接"推向"有机融合"，在不牺牲性能 的情况下大幅提升 ...

大类资产配置建议表 | | 大类资产 | 月度趋势 | | | 配置建议(未来6个月) | | | 配置变化 | | --- | --- | --- | --- | --- | --- | --- | --- | --- | | | | | 高配 | 中高配 | 标配 | 中低配 | 低配 | | | 汇率 | 美元 | 震荡 | | | O | | | | | | 欧元 | 震荡 | | | 0 | | | | | | 人民币 | 震荡 | | | 0 | | | | | | 日元 | 震荡 | | | 0 | | | | | | 英镑 | 震荡 | | | 0 | | | | | | 中国国债 | 偏弱震荡 | | | 0 | | | | | 固收 | 中国信用债 | 偏弱震荡 | | | 0 | | | | | | 可转债 | 震荡 | | | O | | | | | | 美元债 | 震荡 | ● | | | | | | | | A 股 | 偏强震荡 | | | O | | | | | | 一消费 | 震荡 | | | O | | | | | | 一周期 | 震荡 | | | 0 | | | | | 权 ...

核心观点 - Harmonic是一家专注于解决AI幻觉问题的初创公司，其产品Aristotle在数学推理领域实现了零幻觉，通过形式化验证手段确保输出准确性 [5][6][21] - 公司成立仅两年估值接近9亿美元，吸引了红杉资本、凯鹏华盈等顶级投资机构近2亿美元投资 [7][30][34] - 技术核心是基于Lean的交互式定理证明系统，通过严格逻辑约束确保数学推理的准确性 [36][38] - 在MiniF2F测试中达到90%成功率，远超GPT-4等通用AI模型的20-35% [41][42] - 面临DeepSeek、谷歌DeepMind等强劲竞争对手，后者在数学AI领域已有显著成果 [43][46][47] 公司背景 - 由Vlad Tenev和Tudor Achim联合创立，前者是Robinhood CEO（公司估值55亿美元），后者有自动驾驶AI算法开发经验 [9][10][14] - 创始团队具备数学天赋和AI经验，初期使用个人资金启动研发 [11][15] - 公司理念是让AI"会思考、讲真话"，通过严格逻辑约束避免无根据回答 [15] 产品与技术 - Aristotle是首个可进行推理并正式验证的AI产品，在定量推理领域保证零幻觉 [5][21] - 通过Lean证明系统实现：每一步推导需系统认可，错误结论会被立即拒绝 [21][38] - 解决了三大问题：幻觉、推理不清晰、不够严谨，适合金融、医疗等高风险场景 [21] - 在MiniF2F测试集（488道数学题）中创下90%成功率的新纪录 [22][41] - 能自动生成严格数学证明，如2001年国际数学奥林匹克难题 [22][23] 融资与估值 - 种子轮由创始人个人和天使投资人提供 [29] - 2024年9月A轮融资7500万美元，估值3.25亿美元 [30] - 2025年7月B轮融资1亿美元，估值接近9亿美元 [30] - 投资方包括红杉资本、Index Ventures、Kleiner Perkins等顶级机构 [34] 行业竞争 - DeepSeek的Prover-V2模型在MiniF2F测试中达到88.9%通过率 [43] - 谷歌DeepMind的AlphaProof在2024年IMO中获得银牌（6题解出4题） [46] - OpenAI新模型在IMO2025斩获金牌（6题解出5道） [49] - 竞争对手普遍拥有大模型生态支持，如DeepSeek-V3、Gemini等 [51] 市场定位 - 瞄准B端精密场景（金融建模、科学推理等）对极低容错率的需求 [19] - 计划发布企业API和消费者网络应用 [24] - 可能选择被大厂收购作为退出路径，成为基础模型技术生态的一环 [51]