大公司日报|外卖“三国杀”升级：饿了么百亿补贴入局

主要观点总结

本文主要报道了腾讯官方证券投资平台的资讯内容，涵盖了外卖、AI模型、小米推理大模型、快手AI战略以及港交所的利润情况等多个领域的重要资讯。

关键观点总结

关键观点1: 外卖领域的竞争动态

描述了饿了么百亿补贴入局的局面，京东与美团的外卖大战以及饿了么的反应。

关键观点2: DeepSeek发布Prover-V2模型

详细介绍了DeepSeek发布的Prover-V2模型，其参数量、最大位置嵌入、处理复杂数学证明的能力以及采用FP8量化的特点。

关键观点3: 小米推出首个推理开源大模型Mimo

阐述了小米推出的专注于推理能力的开源大模型MiMo的特点和优势，及其在测评中的表现。

关键观点4: 快手提高可灵AI的优先级

描述了快手提高可灵AI优先级并组建一级部门的决策背景，以及可灵AI在快手大模型整体战略中的重要性。

关键观点5: 港交所一季度利润创历史新高

报道了港交所一季度净利润创历史新高的情况，以及具体的利润数字。