Amazon is investing in the Lean Focused Research Organization
Amazon Science891 字 (约 4 分钟)
85
亚马逊投资Lean Focused Research Organization推动Lean编程语言发展，通过数学证明确保AI代理安全性和软件正确性。
入选理由：亚马逊为Lean FRO提供长期资金支持，推动Lean编程语言的全球普及。
FeaturedArticle#Lean#AI安全#亚马逊#编程语言英文
产品
Bedrock AgentCore
别名：Bedrock
亚马逊AI代理安全验证系统，基于Lean证明技术。
已跟踪 4 条高相关材料
TraeAI 观察
最近变化
2026-07-26 · 亚马逊为Lean FRO提供长期资金支持，推动Lean编程语言的全球普及。
为什么值得关注
Bedrock AgentCore 被反复提及时，通常意味着它正在影响产品路线、开发者工作流或 AI 产业判断。这个页面把分散材料合并成一个可持续更新的观察入口。
AWSAI AgentAI AgentsAI安全Amazon Bedrock
如果只读 3 篇
1
Amazon is investing in the Lean Focused Research Organization
Amazon Science · 8.5 分
亚马逊投资Lean Focused Research Organization推动Lean编程语言发展，通过数学证明确保AI代理安全性和软件正确性。
2
Building AI agents for business support using Amazon Bedrock AgentCore
AWS Machine Learning Blog · 8.5 分
AWS Machine Learning Blog 文章介绍了如何使用 Amazon Bedrock AgentCore 构建业务支持的 AI 代理，通过案例展示了成本降低和效率提升。
3
Amazon Nova Act is now HIPAA eligible
AWS Machine Learning Blog · 8.5 分
Amazon Nova Act now qualifies as a HIPAA eligible service, enabling healthcare organizations to automate workflows involving ePHI with comp...
相关材料
已收录 4 条与 Bedrock AgentCore 相关的内容，按评分排序。
Building AI agents for business support using Amazon Bedrock AgentCore
AWS Machine Learning Blog1294 字 (约 6 分钟)
85
AWS Machine Learning Blog article discusses how AWS Generative AI Innovation Center collaborated with Works Human Intelligence to build two AI agents using Amazon Bedrock AgentCore, showcasing cost reductions and increased efficiency.
入选理由：通过使用 Amazon Bedrock AgentCore，成功构建了两个业务支持的 AI 代理，分别处理通勤补贴申请和浏览器操作。
FeaturedArticle#AWS#Bedrock AgentCore#HR Automation#AI Agents中文
Amazon Nova Act is now HIPAA eligible
AWS Machine Learning Blog684 字 (约 3 分钟)
85
Amazon Nova Act now qualifies as a HIPAA eligible service, enabling healthcare organizations to automate workflows involving ePHI with compliant AI agents.
入选理由：HIPAA compliance allows Nova Act to process ePHI for tasks like appointment scheduling and insurance verification in healthcare portals.
FeaturedArticle#Amazon Nova Act#HIPAA#Healthcare Automation#AWS英文
Implementing programmatic tool calling on Amazon Bedrock
AWS Machine Learning Blog3640 字 (约 15 分钟)
85
Amazon Bedrock now supports Programmatic Tool Calling (PTC), allowing LLMs to generate Python code for batch tool execution instead of sequential round trips, dramatically reducing latency and token usage for multi-tool workflows. AWS offers three implementation paths: self-hosted Docker sandbox, Bedrock AgentCore Code Interpreter, and Anthropic SDK-compatible proxy.
入选理由：传统工具调用在多工具场景下存在三重问题：每个中间结果都消耗 token、每次调用增加一次推理延迟、用自然语言处理大量数据容易出错
FeaturedArticle#Amazon Bedrock#LLM#Tool Calling#AWS#AI Agent英文