💡
原文中文，约10100字，阅读约需24分钟。
📝
内容提要
DeepSeek发布了新模型DeepSeek-Prover-V2，提升了推理性能，并推出两个版本。游戏科学获得2025年度中国青年五四奖章，小米开源了推理大模型MiMo，微软表示30%的代码由AI生成。此外，苹果AirPlay出现漏洞，腾讯副总裁讨论了AI在汽车行业的重要性。
🎯
关键要点
- DeepSeek发布了新模型DeepSeek-Prover-V2，提升了推理性能，推出两个版本。
- 游戏科学获得2025年度中国青年五四奖章集体，表彰其在游戏开发中的贡献。
- 小米开源了推理大模型MiMo，表现优于OpenAI和阿里模型。
- 微软CEO表示公司30%的代码由AI生成，未来将有更多工作由AI完成。
- 苹果AirPlay被曝漏洞，影响多个设备，需及时修复。
- 腾讯副总裁讨论AI在汽车行业的重要性，强调数据和模型的关键作用。
- 新款Apple Watch SE或将升级屏幕尺寸，预计9月发布。
- 2026款零跑C10开启预售，提供多种续航和智能化升级。
- 荣耀MagicBook Pro 16 2025发布，搭载5070显卡，性能提升显著。
- OPPO Find X8系列影像能力升级，支持多种新功能。
- 淘宝推出闪购功能，加入即时零售市场，提供多项优惠。
- 移动互联网未成年人模式发布，提供安全可控的上网环境。
- 电影《惊天魔盗团3》发布预告片，将于11月上映。
❓
延伸问答
DeepSeek-Prover-V2模型的主要特点是什么？
DeepSeek-Prover-V2模型提升了推理性能，推出了两个版本，支持最长32K上下文输入，并采用递归和强化学习的组合训练方法。
小米的MiMo模型与其他模型相比有什么优势？
小米的MiMo模型在数学推理和代码竞赛中表现优于OpenAI和阿里模型，特别是在相同训练数据下的强化学习潜力更强。
苹果AirPlay漏洞的影响范围有多大？
苹果AirPlay漏洞影响数百万台设备，恶意攻击者可通过同一Wi-Fi网络控制支持AirPlay的设备。
腾讯在汽车行业中如何看待AI的作用？
腾讯副总裁认为AI是汽车行业的关键要素，强调高性能算力和精准数据闭环的重要性，以推动智能化应用。
微软CEO提到的AI在代码生成中的作用是什么？
微软CEO表示，约30%的代码由AI生成，未来预计会有更多工作由AI完成，显示出AI对软件开发的深远影响。
游戏科学获得2025年度中国青年五四奖章的原因是什么？
游戏科学因其在游戏开发中的贡献，特别是《黑神话：悟空》的成功，获得了2025年度中国青年五四奖章集体。
➡️
