“A formal proof of alignment for a GPT-3-sized model with 175 billion parameters would be at least 175GB in size.”