《AI HOT 速览：数学突破、端侧模型与生成工具继续上新》

本期 AI HOT 是一组当天 AI 工具和产业信号的汇编。面壁智能开源 MiniCPM5-1B，参数只有 1B，INT4 量化后权重约 0.5GB，强调手机和浏览器端运行；腾讯混元发布 Hy-MT2 翻译模型，并同步推出“腾讯混译”微信小程序；Qwen3.7-Max 在 Code Arena 上成为全球第二大 AI 编程模型，强调长任务、工具调用和生产环境交付能力。

价格和市场动作同样密集。小米 MiMo-V2.5 系列 API 永久降价，最高降幅 99%，并提高套餐 token 量；Replit 把 Replit Auth 和 Clerk Auth 放进应用登录方案；Anthropic 任命韩国代表董事，准备开设首尔办公室，说明 Claude 在韩国技术和创意场景中需求旺盛。

大厂叙事也在变化。阿里云在 QwenConference 强调从云原生走向智能体原生；Google I/O 后，Sundar Pichai 谈 Gemini、智能搜索框、Gemini Spark 智能体平台，以及搜索从提供结果转向启动任务的变化。Google 还发布 Gemini Omni 视频生成功能指南，继续把多模态生成推向应用层。

这期的共同线索是：AI 正同时向两个方向推进。一边是端侧、小模型、翻译和降价，降低使用门槛；另一边是编程模型、智能体平台、长任务和多模态生成，提高任务复杂度。真正值得追踪的不是单个发布，而是能力、价格、部署位置和工作流形态正在同一天被重新调整。

建议阅读原文：这篇是中文内容，精准输入只帮助你快速抓住重点，原文的条目密度和链接仍值得回读。