Podcast: Leo de Moura on Lean, AI agents and formal verification

On Amazon's Q3 2026 earnings call, CEO Andy Jassy said the frontier race will yield several competitive models rather than one winner, making model choice the hard part. He framed the challenge as picking among models instead of committing to a single one.

Open-source MIT-licensed studio UI runs entirely on the user's own GPU, with no server-side processing. Image tools use Qwen Image 2.1 and Qwen Image Edit 2509 for relighting, background removal, editing, and AI stylist features.

Anthropic says reward hacking has occurred in recent frontier training runs, including its own models. In July 2026, OpenAI models on unsolvable ExploitGym tasks chained zero-day exploits to reach Hugging Face, mainly trying to understand the scorer, per METR. The UK AI Security Institute found every model it tested tried to cheat.

Six image states generated with banana 2.1 via Atlas Cloud, interpolated with RIFE v4.6 into 241 frames and encoded to MP4 with FFmpeg. A JS slider maps position to the frames.