Anyone knows what they used to create the videos ? Is the model driving a program like Davinci Resolve / After Effects ? or is the model writing code to then generate these videos via some library.