# Amazon is investing in the Lean Focused Research Organization

DevFeed: [Amazon is investing in the Lean Focused Research Organization](<https://devfeed.tech/articles/amazon-is-investing-in-the-lean-focused-research-organization-7611.md>)

Original publisher: [Read original article](<https://www.amazon.science/news/amazon-is-investing-in-the-lean-focused-research-organization>)

Author: Byron Cook; Shawn Bice

Published: 2026-07-26T08:00:00Z

Content type: news

Language: en

Sources: [Amazon Science homepage](<https://devfeed.tech/sources/amazon-science-homepage.md>)

Topics: [AI Bots](<https://devfeed.tech/topics/ai-bots.md>), [AI Chat](<https://devfeed.tech/topics/ai-chat.md>)

Tags: [agents](<https://devfeed.tech/tags/agents.md>), [ai-agents](<https://devfeed.tech/tags/ai-agents.md>), [amazon](<https://devfeed.tech/tags/amazon.md>), [amazon-aurora](<https://devfeed.tech/tags/amazon-aurora.md>), [amazon-bedrock](<https://devfeed.tech/tags/amazon-bedrock.md>), [amazon-bedrock-agentcore](<https://devfeed.tech/tags/amazon-bedrock-agentcore.md>), [amazon-web-services-aws](<https://devfeed.tech/tags/amazon-web-services-aws.md>), [automated-reasoning](<https://devfeed.tech/tags/automated-reasoning.md>), [aws](<https://devfeed.tech/tags/aws.md>), [developer](<https://devfeed.tech/tags/developer.md>), [formal-verification](<https://devfeed.tech/tags/formal-verification.md>), [generative-ai](<https://devfeed.tech/tags/generative-ai.md>), [large-language-models-llms](<https://devfeed.tech/tags/large-language-models-llms.md>), [llm](<https://devfeed.tech/tags/llm.md>), [programming](<https://devfeed.tech/tags/programming.md>), [programming-language](<https://devfeed.tech/tags/programming-language.md>), [research](<https://devfeed.tech/tags/research.md>), [responsible-ai](<https://devfeed.tech/tags/responsible-ai.md>), [safety](<https://devfeed.tech/tags/safety.md>), [software-testing](<https://devfeed.tech/tags/software-testing.md>), [testing](<https://devfeed.tech/tags/testing.md>), [trustworthy-ai](<https://devfeed.tech/tags/trustworthy-ai.md>)

## AI overview

Amazon is making a long-term investment in the Lean Focused Research Organization to advance Lean, a programming language for mathematical correctness proofs. The article highlights Lean-based verification for safer AI agents and AWS systems.

## Source excerpt

As AI agents take on higher-stakes decisions, Lean programming language makes it possible to mathematically prove they will behave safely.