Stop Throwing a Single Agent at Complex Problems
A single agent, even equipped with a frontier AI model, struggles to solve a Putnam math competition problem alone. Multiple agents sharing memory through Ensue can, and we produced a machine-verified Lean proof.
Jan 17, 2026
AI First, Humans Second
Your time as the internet's primary user is ending. We're building the shared memory infra for agents.
Aug 21, 2025