#AI资讯

⏺ DeepSeek 发布 Prover-V2 新模型：包含 7B 和 671B 两个版本，训练核心是「递归+强化学习」的组合，专注高性能数学推理。[huggingface]

⏺ 小米开源首个推理 AI 大模型「Xiaomi MiMo」：旨在探索如何激发模型的推理潜能，性能对标 OpenAI o1-mini。[huggingface]

⏺ 阿里「Qwen3-235B-A22B」模型正式登陆 HuggingChat。[直达]

⏺ ChatGPT 将为所有用户推出购物功能：用户可以直接在对话中查找、比价并完成购买。[x]

⏺ Adobe 发布商用级 AI 图像生成模型「Firefly Image 4」系列：包含 4 和 4 Ultra，精度、清晰度和真实感再提升。[在线体验]

⏺ 微软多达 30% 的代码由 AI 生成：微软 CEO 称目前微软的代码库中，约有 20%-30% 的代码由 AI 完成，甚至一些项目，都可能完全由 AI 进行编写。[新闻报道]

📮投稿 📢频道 💬群聊 🔎索引