“Alexander Embirikos advises new users of Codex to test its capabilities by assigning it their most difficult and complex coding tasks rather than simple ones.”