They specifically ask not to create/submit a formal proposal. I do not see any restriction on the use of AI otherwise.

i read the emphasized "human-written" part, in combination with that last line, as a blanket restriction (for contributing). but perhaps i read it wrong.