This also makes the assumption that frontier math has all the long hanging fruits already taken... also very dubious.

Some of the problems solved here, at least in CS, have been open for decades, and have been worked on by very smart leading researchers in the field, including Turing Award winners.

Like, these would be best-paper awards at many top CS conferences.