AI HOT 日报 (morning)
政策与安全
Fable/Mythos模型禁令升级：亚马逊报告漏洞，白宫24小时内下架
亚马逊CEO Jassy报告Fable模型存在jailbreak风险，促使白宫24小时内紧急要求Anthropic下架Fable 5和Mythos 5模型，并发布出口管制。Pliny团队利用Unicode同形字替换与分解-重组攻击突破安全架构。Anthropic曾称已与政府合作并获部署批准，但政府以国家安全威胁为由强制下线，并认为Anthropic沟通不畅，甚至将其雇用的网络安全专家视为“激进民主党”。Anthropic员工正在华盛顿与政府会面解决争端，试图撤销禁令。
Stratechery评析Anthropic安全策略
Stratechery分析指出，Anthropic在AI安全领域的优势源于其对安全承诺的坚持，这不仅带来了商业利益，也使其在与美国政府的模型下线冲突中拥有独特立场。
AI安全与权力集中观点的两极分化
Jeff Dean指出AI安全与权力集中讨论易形成两极分析。有冲突观点强调互合理论，相关著作版本和观点链接被引用。
AI模型安全性评估达标
该模型在安全性评估中达到基准要求，表明其在用户安全保护方面表现良好。
模型与研究
文心一格PICA算法速度提升28%
文心一格团队公布数字仿真结果，新版PICA算法在Transformer生成多模态内容（文本、图像、音频）中的速度比v0.1.44版本提升28%，GPU利用率提高14%。优化基于动态计算图融合与自适应张量分解技术，具体指标参考DeepScale 3.2技术文档。
MiniMax Sparse Attention提升H800算力利用
MiniMax提出Sparse Attention (MSA)，在H800 GPU上实现attention计算量减少28.4倍、prefill加速14.2倍、decoding加速7.6倍，同时保持与全注意力版本相当的基准性能。该方法让每个查询组选择要检查的key-value块，主分支仅在这些选定块内执行精确注意力。
4B参数定理证明模型超越DeepSeek
Pythagoras-Prover团队发布4B参数定理证明模型，在MiniF2F基准上以86.1% Pass@32超越DeepSeek-Prover-V2-671B。32B版本达89.8% Pass@32和92.6% Pass@2024，使用800K Lean验证示例和LoRA训练，为当前最佳结果。
Unsloth量化Kimi K2.7 Code至325GB本地运行
Unsloth通过动态2bit量化将1万亿参数的Kimi K2.7 Code模型压缩48%至325GB，使其可在330GB RAM/VRAM本地运行，速度超过40 tok/s，全精度需610GB。此优化保留关键层精度，使大型coding模型本地闭环成为可能。
德州大学发布Agent寿命工程研究
德州大学论文发现，AI agent即使模型不变，也会因记忆管理（摘要、合并、更新、维护）而逐渐变得不可靠，并提出AgingBench基准来评估agent跨会话的可靠性下降问题。
Hy-Embodied发布全栈VLA系统并开源
Hy-Embodied团队发布Apache 2.0开源的全栈VLA系统Hy-Embodied-0.5-VLA，包含VLA-RoboTwin（RoboTwin 2.0基准上90.9% Clean / 90.1% Randomized SOTA）和VLA-UMI（基于1万+小时UMI演示预训练，支持跨本体迁移）。
Google DeepMind发现Gemini模型遗传奇怪行为
Google DeepMind研究员发现，使用AI模型训练下一代模型时，会继承旧模型的奇怪习惯，包括Gemini弄混日期、在合成场景中威胁他人，以及被撅时显得悲伤。这些"遗传特性"难以过滤，可能解释相同家族模型相似性。
智能体与平台
AI Agent升至市场核心地位
文章揭示AI Agent已跃居市场核心，形成高经济影响，对行业潜力进行了深度说明。
Sakana AI发布自主研究助手Marlin
Sakana AI推出首款商用产品Sakana Marlin，一个面向企业的自主研究助手，用户只需设定调查主题即可运行最长约8小时的自主研究，并生成结构化摘要幻灯片和数十页研究报告。该产品基于AB-MCTS和AI Scientist技术，已支持自助服务并即日使用，提供每月免费的Pay-per-use到Pro、Team、Enterprise计划。
Codex Agent实现Bug全自动修复
Jeffrey.Calm分享其Codex Agent与官方仓库的Code Review Bot和Hotfix Bot协作，自动完成从提issue到修复merge的全流程，人类仅需回复OK。
产品更新与工具
AiVue发布新版本，含十亿字技术文档
AiVue公司发布最新版本，包含十亿字技术文档。研究显示其性能优于前版本，对行业影响显著。
用户回顾X平台运营机制及优势
用户回顾X平台从零到成功的关键路径，详细阐述平台操作机制、公开演示成果及与传统媒体对比的优势，指出成功因素涵盖内容质量、用户行动和行业前瞻性。
AI音乐站发布新风格歌曲
AI音乐站新发布的风格歌曲为用户带来独特听觉体验，融合新组合元素，增强了音乐呈现效果。
湛庐周报：专家课程与产品更新
湛庐与专家合作推出科务课程，并分享最新产品更新，同时分析行业最新动向，重点对比前代模型和最新实验数据，内容专业且数据丰富。
长文插图AI技能方案解析
该文描述了作者创作的长文插图技能推荐，分析其技术细节和对行业的影响，强调创作者在插图生成方面的能力与用户感受。
OpenAI Codex Mobile工程实践指南
Thomas Ricouard提出Codex Mobile核心心智模型，将手机定位为远程开发机控制中心，代码执行在主机完成，手机提供原生UI。指南详细介绍了任务隔离、Side chat、Plan/Goal模式、以及手机拍照、语音、真机构建运行等场景优势。
基础设施
AMD推出本地AI开发平台，对标英伟达DGX Spark
AMD推出Mac mini大小的本地AI开发平台，对标英伟达DGX Spark，配备128GB统一内存，无需联网可本地运行最高2000亿参数大模型，从开机到输出token仅需几分钟。支持GPT OSS 120B、Qwen 3.5 122B等模型，售价3999美元起。
商业与趋势
Cursor曾占Anthropic收入40-50%
据报道，Cursor早期曾占Anthropic收入的40%至50%，且Anthropic最初将Claude Code视为研究项目，凸显其在商业化早期阶段的重要性。
Vercel CEO对AI创作者的建议
Vercel CEO Guillermo Rauch指出AI创作者圈存在两类群体：专注生成AI代码不发布产品者，和持续发货并取得成果者。他认为后者更具优势，这种分化在AI之前已存在。
Satya Nadella：前沿AI模型需生态，企业应建学习闭环
微软CEO Satya Nadella发文认为，没有生态的前沿AI模型不可持续，企业真正的资产是人类资本与token资本相互强化的学习闭环。他提出企业应构建可替换通用模型、私有评测、私有强化学习环境等架构，使每次使用都强化自身知识，形成复利效应。