Automated reasoning just took a massive step past simple code generation and boilerplate synthesis. An unreleased research version of Anthropic’s Claude managed to coordinate 60 autonomous sub-agents over