OpenAI Just Carpet-Bombed Mathematics (377 long standing problems solved)

FYI - There’s been some discussion of your point over here starting about when this year old thread was revived last week: