Asked OpenAI's ChatGPT to write me a poem about Gdel's incompleteness theorems, and below was the output. With GPT4 coming next (trained on 100 trillion parameters vs. GPT3 175 billion) the AI generation space is about to get insane. But still waiting on ability to write proofs.