Automated theorem provers can't prove this problem. Which non-trivial Math problem you think are thougher than this Erdos problem?
replySo the only intelligent people in history are those who invent new fields of mathematics, got it.
replyYou can just about make out those goalposts on the surface of the moon with a good telescope at this point.
"Hi ChatGPT, propose and prove something radically new in the genre of Gödel's theorem."
replyHow is this not just another proposed problem (albeit with a search space much larger than an Erdos problem's)?
I think the point the GP is making is that Gödel's theorem wasn't part of any "genre". Gödel, or somebody, had to invent the whole field, and we haven't seen LLMs invent new fields of mathematics yet.
replyBut 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.