Thank you for your comment.

I had assumed that the recent OpenAI solution to an Erdos problem represented original mathematical thought.

I went looking for more details, and found this Scientific American article which provided some nuance I had previously missed, namely that the mathematicians involved don't think genAI created any really new mathematics - just applied what existed in an intelligent, elegant way:

https://archive.is/oNCSO

So, impressive though the result is, perhaps your claim has more grounds than I had thought.