# When you keep AI Lean, you keep AI correct

DevFeed: [When you keep AI Lean, you keep AI correct](<https://devfeed.tech/articles/when-you-keep-ai-lean-you-keep-ai-correct-2215.md>)

Original publisher: [Read original article](<https://stackoverflow.blog/2026/08/28/when-you-keep-ai-lean-you-keep-ai-correct/>)

Author: Phoebe Sajor

Published: 2026-08-28T07:40:00Z

Content type: article

Language: en

Sources: [Stack Overflow Blog](<https://devfeed.tech/sources/stack-overflow-blog.md>)

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

Tags: [agentic-ai](<https://devfeed.tech/tags/agentic-ai.md>), [agents](<https://devfeed.tech/tags/agents.md>), [ai](<https://devfeed.tech/tags/ai.md>), [ai-agents](<https://devfeed.tech/tags/ai-agents.md>), [ai-models](<https://devfeed.tech/tags/ai-models.md>), [automated-reasoning](<https://devfeed.tech/tags/automated-reasoning.md>), [code](<https://devfeed.tech/tags/code.md>), [developers](<https://devfeed.tech/tags/developers.md>), [functional-programming](<https://devfeed.tech/tags/functional-programming.md>), [optimization](<https://devfeed.tech/tags/optimization.md>), [podcast](<https://devfeed.tech/tags/podcast.md>), [programming](<https://devfeed.tech/tags/programming.md>), [programming-language](<https://devfeed.tech/tags/programming-language.md>), [reasoning](<https://devfeed.tech/tags/reasoning.md>), [se-stackoverflow](<https://devfeed.tech/tags/se-stackoverflow.md>), [se-tech](<https://devfeed.tech/tags/se-tech.md>)

## AI overview

A discussion of using Lean to prove AI-agent correctness, combine automated reasoning with probabilistic AI models, and continuously optimize code.

## Source excerpt

Ryan chats with Leo de Moura, Senior Principal Applied Scientist at AWS and the creator of the Lean language, about proving correctness in AI agents with the Lean language, how automated reasoning complements probabilistic AI models, and the use of AI for continuous code optimization.