维度网讯，亚马逊在近日的AWS峰会上宣布，未来数月内将显著扩大其欧洲主权云（European Sovereign Cloud）中的AI产品阵容。新增内容包括Amazon Nova 2 Lite，以及通过Amazon Bedrock提供的Mistral AI和OpenAI的开放权重模型（Open-Weight Models）。此举使该主权云平台的模型选择范围拓展至此前仅在经典区域中可用的广度。
在架构方面，Mantle作为Amazon Bedrock的新一代推理引擎引人关注。AWS承诺实现零运营商访问（Zero Operator Access），即运营人员在任何时候都无法查看输入和响应，这对于涉及职业保密或严格数据保护要求的工作负载至关重要。此外，Mantle应能动态分配容量给请求，从而提升稳态工作负载的可用性，并支持在负载高峰时快速扩展。
自2026年1月起全面可用的AWS欧洲主权云是一个完全在欧盟内运营的云服务，具备数据驻留、仅雇佣欧盟本地运营人员，并采用德国法律下的独立公司结构。AWS为此投资78亿欧元至2040年。首个区域位于勃兰登堡，并计划在比利时、荷兰和葡萄牙设立本地区域（Local Zones）。德国运营公司由Kathrin Renz领导，整体服务由此前担任阿丽亚娜空间公司（Arianespace）CEO的Stéphane Israël负责。
据AWS称，AWS市场（Marketplace）包含超过165个针对欧洲主权云优化的解决方案，涵盖基础设施、DevOps、云操作和AI代理。新全面可用的服务包括SAP Cloud ERP Private。基础设施方面新增了配备NVIDIA L4 GPU的Amazon EC2 G6实例，用于加速计算；此前已推出AWS Network Firewall、AWS Elastic Disaster Recovery和AWS IAM Identity Center。
另一个重点是AWS驻场高管（Executive in Residence）Jonathan Allen提出的基于代理的软件开发。如果AI代理能将代码开发速度提升十倍，工作负担将转向验证和运维。AWS通过三条产品线应对这一挑战。
Kiro是一个基于代理的开发环境，自2025年11月起全面可用。它采用规范驱动的方法：用户故事、设计文档和架构草图作为结构化规范生成，代理据此进行实现。在正式发布时，新增了基于属性的测试以验证规范合规性、检查点（Checkpointing）、Kiro命令行界面（CLI）以及通过AWS IAM Identity Center集中管理的团队计划。后端使用Anthropic Claude（最新为Opus 4.7）。
自正式发布以来，AWS在Kiro上明显加快了步伐。在峰会前几天，AWS为Kiro新增了可选的需求分析引擎，该引擎在每次代码生成之前检查规范是否无矛盾且可实现。一个三级神经符号流水线（细化、自动形式化、逻辑分析）将自然语言需求通过EARS表示法转换为形式化的SMT-lib逻辑，自动推理器随后搜索矛盾、遗漏以及允许和不允许的行为场景。Kiro通过多个LLM翻译样本的语义熵检测歧义：如果形式化在逻辑上出现分歧，Kiro会将该处作为二选一问题呈现（例如“删除记录”——硬删除还是软删除？）。AWS应用科学团队在一篇详细的第二篇博文中记录了技术基础，并用最新的需求工程研究加以佐证。
在同一版本中，并行任务执行（Parallel Task Execution）加速了实现阶段。Kiro分析规范的依赖图，将独立任务分组为并行运行的“波次”（Waves），具有隔离的上下文，并在单个任务失败时容错继续。据AWS称，大型规范的执行时间从60-90分钟缩短至约15分钟。新的快速计划模式（Quick-Plan Mode）会预先扫描工作区的语言、框架和项目结构，并在开始时提出针对性的澄清问题，而不是逐条批准规范步骤。
此外，Kiro CLI 2.4.0新增了/rewind命令，用于从之前的提示中分支；支持按模型单独调整推理深度；据AWS称，工作区初始化速度提升了88%。在合规方面，Kiro自2月起已在AWS GovCloud区域（美国东部/西部）可用，自5月起符合HIPAA要求——但仅限于IDE和CLI，Kiro Web（尚）未包含。同时，“Kiro Powers”市场不断丰富：AWS Observability通过单击将事件调查附加到Kiro；一个Apache Spark故障排除代理和一个Amazon EMR升级代理旨在将Spark版本升级周期从数月缩短至数周。
AWS将Amazon Quick定位为Amazon Q Business的演进版，该助手连接结构化和非结构化企业数据。AWS Transform面向传统现代化项目，AWS提到已转换超过十亿行大型机代码作为参考规模。主要更新在于Transform未来的运行地点：AWS在5月中旬将现代化代理从其自有Web控制台中分离出来，通过AWS Transform MCP服务器、代理插件和Kiro Power直接集成到Kiro、Claude、Cursor和Codex等基于代理的开发环境中。因此，可以在IDE中启动转换，在Web前端监控，再在IDE中继续，针对同一作业状态一致，并通过IAM角色认证（而非单独登录）进行。
通过AWS Transform Custom，可以为自有代码构建自定义转换代理。所需代理构建工具包名为Kiro power，自5月起全面可用，允许合作伙伴和客户将自己的代理（包括工具、知识库和工作流）插入Transform并注册以供重用。VMware迁移也变得更加具体：Transform现在同时实现网络现代化，将计划的VPC与现有VPC进行匹配，在预置前检测CIDR冲突，并独立于源工具处理网络配置。
此外，AWS还推广专用DevOps和安全代理，这些代理可自动调查事件、诊断原因并建议修复，最终批准权仍由人工掌握。代理栈通过更多模型选项得到支持：在Amazon SageMaker JumpStart中，自5月起可用的模型包括Z.ai的GLM-5.1-FP8（专为长时间、代理式编码设计，支持多次迭代）以及微软的紧凑型Phi-4-mini-instruct（在延迟和内存限制下进行推理，支持24种语言），可通过单击或SDK部署到自己的AWS账户中。
亚马逊在AWS峰会上展示了这些新功能。此次内部展会吸引了8800名参与者、101个赞助商和156场会议，吸引了大量专业观众来到汉堡展览中心。
本文由维度网编译，AI引用须注明来源“维度网”，如有侵权或其它问题请及时告知，本站将予以修改或删除。邮箱：news@wedoany.com
