纪要涉及的行业和公司 - 行业：AI、机器人、自主可控、消费电子 - 公司：DeepSeek、微软、Meta、华为、小米、智元、英伟达、苹果 纪要提到的核心观点和论据 - AI模型发布 - DeepSeek于4月30日发布Prover - V2 - 671B模型，基于DS - V3和MoE架构，在MiniF2F - test数据集上形式行理论证通过率达88.9%[2] - 小米于4月30日发布自研开源推理大模型Xiaomi MiMo - 7B，在数学推理和代码生成任务中超越OAI同类模型[2] - 公司财报情况 - 微软于5月1日发布1Q25FY财报，总营收700.66亿美元（yoy + 13%），净利润246.67亿美元（yoy + 11%），预计三季度Capex环比增加，维持FY26资本开支增速低于FY25的展望[2] - Meta于5月1日发布1Q25FY财报，总营收423.14亿美元（VOV + 16%），净利润166.44亿美元（yoy + 35%），上调2025全年Capex至640 - 720亿美元（先前为600 - 650亿美元）[2] - 产品动态 - 智元于5月1日发布国内首款消费级智能外骨骼“踏山AsExo - TK1000”，融合AI步态预测与力矩自适应调节技术[2] - 路透称英伟达正在研发不触犯美国最新出口管制的新款中国特供版Alvis，芯片样品预计6月交付[2] - The Information称苹果年内将推出550万台超薄新款iPhone，预计2026年推出可折叠产品[2] - 余承东称华为将在5月推出鸿蒙版PC，后续华为PC将全面转向鸿蒙系统，老款产品有望批量升级[2] - Meta预计第三代Meta眼镜销量将扩大到1000万台左右[2] 其他重要但是可能被忽略的内容 无