AI to write code makes more sense because the grammar is almost infinitesimally smaller and of all the practical repercussions that come with that.
Think, yes, verifiability, but also tone, terseness etc. and how big those "problem spaces" are in written language versus programming language.