早报｜小米开源首个推理大模型/苹果 AirPlay 漏洞曝光，影响百万设备/扎克伯格回应「Llama 4 造假」质疑
内容提要
DeepSeek发布了新模型DeepSeek-Prover-V2，提升了推理性能，并推出两个版本。游戏科学获得2025年度中国青年五四奖章，小米开源了推理大模型MiMo，微软表示30%的代码由AI生成。此外，苹果AirPlay出现漏洞，腾讯副总裁讨论了AI在汽车行业的重要性。
延伸解读
AI模型的开源趋势
小米和DeepSeek的开源大模型发布，标志着AI领域的竞争加剧。开源不仅促进了技术的共享与创新，也为开发者提供了更多的选择和灵活性。随着越来越多企业加入开源行列，未来可能会出现更多高性能的AI模型，推动行业发展。
苹果AirPlay漏洞的影响
苹果AirPlay的安全漏洞可能影响数百万设备，尤其是在公共场所使用时风险更高。用户应及时更新设备以修复漏洞，避免潜在的安全威胁。此事件也提醒我们在使用智能设备时，安全性应成为优先考虑的因素。
AI在汽车行业的应用前景
腾讯副总裁指出，AI在汽车行业的应用正处于关键阶段。高性能算力和数据闭环是实现智能化的基础，但许多车企在这些方面仍面临挑战。未来，随着技术的进步，AI将成为汽车行业不可或缺的部分，推动行业的深度变革。
Q&A
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年度中国青年五四奖章集体。
