Comment by edanm

Wait, you're redefining novel to mean something else.

If I prove a new math theorem, it's novel - even though it's unlikely that thousands of humans have worked on that specific theorem for decades.

LLMs have proven novel math theorems and solved novel math problems. There are more than three examples already.