Reading all the AI progress on math I wonder if current SOTA LLMs could have come up with the Incompleteness theorems.