DeepSeek 发布 Prover-V2 模型；小米首个推理大模型开源；饿了么宣布超百亿补贴加入外...

主要观点总结

本文报道了DeepSeek发布Prover-V2模型、小米开源「Xiaomi MiMo」大模型、谷歌NotebookLM的音频概览功能新增76种语言支持、Meta公布财报、微软营收、苹果在印度布局、宁德时代港股上市、饿了么百亿补贴、英伟达新工具开放使用、Meta第三代雷朋联名智能眼镜发布、荣耀手表全新系列以及纽约地铁探索引入AI技术等科技新闻。

关键观点总结

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

DeepSeek于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型，使用了更高效的safetensors文件格式，支持多种计算精度，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。

关键观点2: 小米开源「Xiaomi MiMo」大模型

小米大模型团队宣布开源首个「为推理而生」的大模型Xiaomi MiMo，通过数据和算法等多层面的创新驱动推理能力的提升，包括预训练、数据、训练和后训练等方面的创新。

关键观点3: 谷歌NotebookLM的音频概览功能新增76种语言支持

谷歌宣布其基于人工智能的笔记和研究助手工具NotebookLM的音频概览功能新增76种语言支持，旨在通过虚拟主持人根据用户上传的文档生成播客，帮助用户以另一种方式理解和消化文档中的信息。

关键观点4: Meta公布财报

Meta公司公布2025财年一季度财报，营收达423.14亿美元，同比增长16%；净利润166.44亿美元，同比增长35%。Meta在财报中交出了一份亮眼的成绩单。

关键观点5: 其他科技公司动态

包括微软第三季度营收、苹果在印度布局、宁德时代港股上市、饿了么百亿补贴、英伟达新工具开放使用、Meta第三代雷朋联名智能眼镜发布、荣耀手表全新系列以及纽约地铁探索引入AI技术等科技新闻。

免责声明