This is a great achievement for AI! I quickly read through the thread but found that Tao's page on Github to be easier to comprehend,

https://github.com/teorth/erdosproblems/wiki/AI-contribution...

It classifies the advancements based on the level of AI input. In particular, the entry in Table 1 related to the original post has both a green and yellow light, reflecting the skepticism from others.