★ AI 晨报日报
模型发布/更新4
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
暂无摘要
面壁智能开源 MiniCPM5-1B：在 AA-Index 上超越所有 2B 参数以下模型，能跑在手机、浏览器上
面壁智能开源其新一代端侧大语言模型MiniCPM5-1B。该模型仅1B参数，在AA-Index榜单上超越所有2B参数以下模型，经INT4量化后权重仅0.5GB，支持在手机和浏览器上运行。
腾讯混元新翻译模型双榜亮眼，小程序发布
腾讯混元发布翻译模型 Hy-MT2，在 Hugging Face 开源模型趋势排行榜上表现突出：1.8B 版本排名第一，30B-A3B（MoE）版本排名第四。官方同步推出了”腾讯混译”微信小程序。
Qwen3.7-Max 成为全球第二AI编程模型
Qwen3.7-Max 正式成为全球第二大 AI 编程模型。在 Code Arena 上得分 1541，仅次于 Claude。专为生产环境打造：可运行 35 小时任务、1000+ 次工具调用。
产品发布/更新4
MiMo 2.5 Pro大幅降价，与DeepSeek V4 Pro同价
小米MiMo-V2.5系列API价格永久下调，最高降幅达99%，现与DeepSeek V4 Pro同价。Token套餐同步升级，同等价格下可用token量增加5-8倍。
Claude Code推出安全漏洞识别插件
Anthropic为Claude Code发布了一个安全指导插件，可在编写代码时帮助识别和修复漏洞。所有Claude Code用户均可使用，从插件市场安装。
Replit 应用添加登录的两种方式
在 Replit 上为应用添加登录有两种方式：Replit Auth（零配置，使用 Replit 账户登录）和 Clerk Auth（品牌化登录，开发/生产环境均只需一个提示词）。
Kling AI驱动《大卫之家》实现多项行业首创
Kling AI是亚马逊Prime热门剧集《大卫之家》第一季和第二季背后的核心力量，实现了多项行业首创：在完成的剧集中首次使用AI生成场景，首个原生4K模型。
行业动态6
据报道Claude Mythos以”巧妙简洁的证明”解决了OpenAI里程碑式的Erdős问题
Anthropic工程师Sholto Douglas表示，Claude Mythos在周末期间解决了OpenAI提出的Erdős单位距离猜想问题，并给出了一个”巧妙简洁的证明”。这一成果被描述为人工智能在数学发现领域存在”严重超前”迹象。
SynthID水印技术扩展合作，覆盖超千亿内容
SynthID已为超过1000亿条内容添加水印。谷歌正与OpenAI、ElevenLabs和Kakao合作，将SynthID水印技术集成到他们的模型中，延续与NVIDIA共同推动的全行业趋势。
OpenRouter完成1.13亿美元B轮融资
OpenRouter宣布完成由CapitalGVC领投的1.13亿美元B轮融资。过去6个月，随着AI从实验快速转向生产，OpenRouter的周处理量从5万亿增长到25万亿token。
Anthropic任命KiYoung Choi为韩国代表董事
Anthropic宣布任命KiYoung Choi为韩国代表董事，支持其即将在首尔开设的办公室。根据Anthropic的经济指数，韩国是Claude.ai全球最活跃的市场之一，使用率超过人口规模预期的3.5倍。
阿里云CTO阐述从云原生到智能体原生转型
在 QwenConference2026 上，阿里云CTO李飞飞博士阐述了从云原生到智能体原生的转变。为了普及AI，构建了四大基石：模型、智能体云、工具与服务，以及规模。
微软亚洲研究院发起全球AI价值观挑战赛
AI能否理解人类价值观的现实复杂性？微软亚洲研究院的全新全球AI价值观挑战赛，诚邀哲学、伦理、法学和社会科学领域的研究人员共同探索。
论文研究1
KPop 新方法让 Ring-2.6-1T 在 SWE-bench Verified 上突破 76 分
团队推出 KPop，用于稳定大规模 MoE 模型的智能体强化学习训练。它用基于二元 KL 散度的自适应掩码机制替代固定比例掩码，使 Ring-2.6-1T 在 SWE-bench Verified 上取得超过 76 分的成绩。
技巧与观点8
Sundar Pichai 谈 AI、搜索的未来及网络的变化
Google CEO Sundar Pichai 在 Google I/O 后受访，回顾了公司为应对 ChatGPT 而进行的战略重组。访谈聚焦于新的 Gemini 模型及其在产品中的整合，包括全新的智能搜索框与 Gemini Spark 智能体平台。
“龙虾之父”Peter 开源 skill-cleaner，为 AI 智能体技能”做体检”
“龙虾之父”Peter 开源了 skill-cleaner 工具，用于诊断和优化 AI 智能体的技能提示词。该工具包含5项核心功能，包括技能提示词预算审计、重复技能检测、未使用技能筛查等。
Gemini Omni 视频提示词使用指南
Google 发布了 Gemini Omni 的视频生成功能使用指南，包含五项提示词技巧：利用模型知识进行简洁描述、精确控制文本渲染、使用专业镜头指令、通过迭代编辑修改视频、调整角色动作节奏。
人类与AI分工：教育咨询及文学奖争议
探讨我们需要保留哪些人类特质，以及哪些可以交给AI，其中涉及教育、咨询领域的实验，以及最近关于文学奖的争议。
Project Luxo：跨越AI媒体的恐怖谷
Runway通过Project Luxo研究发现，AI生成视频已跨越”恐怖谷”。评估显示观众开始关注故事本身，而非技术瑕疵。所有作品均由单人团队制作，耗时从3周到4小时不等。
我们如何对不同产品中的Claude进行隔离控制
Anthropic通过三重机制控制Claude智能体的部署风险：通过沙箱、虚拟机和网络出口控制限制运行环境；利用系统提示词和模型训练引导行为；对MCP服务器等外部内容实施细粒度权限管理。
SenseNova-U1全训练代码开源，支持多模态多任务训练
OpenSenseNova开源了SenseNova-U1的完整训练代码库，支持8B密集模型与A3B MoE架构。使用统一框架可同时训练多种多模态任务，支持从1×8 GPUs到多节点集群的扩展能力。
未来展望：2026年5月的一些想法
文章展望了截至2026年5月AI领域的动态，涉及 Gemini Flash 3.5 的发布、名为 Mythos 的新产品、开源与闭源生态平衡、美国开源力量的显著增长，以及由此引发的新兴权力博弈。
欢迎关注公众号
