But formal AI assistants could empower larger groups of human collaborators to tackle the biggest problems by breaking them ...