https://www.claymath.org/wp-content/uploads/2022/03/millenni...
I found Cal Newport’s take on this to be much more balanced. From what I remember, ChatGPT didn’t “solve” anything. It dumped out a bunch of text, that humans reviewed, and it gave them an idea for how to disprove a thing Erdős thought was true, but couldn’t prove.
In cases like this, it seemed like the LLM got a lot more credit than it deserved. So I’m guessing it would go something like that.
I like Cal but his takes consistently miss the slope of improvement of the technology