Synthetic proteins are being built with the help of AI models