"Hi ChatGPT, propose and prove something radically new in the genre of Gödel's theorem."
How is this not just another proposed problem (albeit with a search space much larger than an Erdos problem's)?
How is this not just another proposed problem (albeit with a search space much larger than an Erdos problem's)?
But this isn't a fair bar to hold it to. There are plenty of intelligent people out there, including 99% of professional mathematicians, who never invent new fields of mathematics.