6 月 10 日，亚马逊宣布向康奈尔大学提供赠款，共同成立 AI4AI 倡议，聚焦代理 AI（agentic AI）的安全协议开发。该倡议将整合机器学习、安全、形式化方法和验证等领域专家，解决 AI 代理生成错误、误导甚至恶意代码的安全风险。[[1]](https://news.cornell.edu/stories/2026/06/amazon-partnership-establishes-cornell-ai-security-initiative)
这一动作正值代理 AI 快速落地、企业大规模部署代码生成代理的背景下。AI 代理虽能提升生产力，却也成为黑客利用的新攻击面。康奈尔计算机科学家将主导安全验证研究，亚马逊则提供实际应用场景支持。
与 OpenAI、Anthropic 等公司内部安全团队的闭环模式相比，亚马逊选择与顶尖高校合作，显示其更注重生态层面的风险缓解，而非仅依赖模型对齐。这也反映大厂对“AI 生成代码安全”这一瓶颈的共识。
未来 6-12 个月，类似产学研安全联盟或将增多。若 AI4AI 能产出可落地的验证工具，将直接影响代理经济的信任门槛。
信源：https://news.cornell.edu/stories/2026/06/amazon-partnership-establishes-cornell-ai-security-initiative