The question you asked was whether the AIs could prove the thing "in a vacuum", without making any use of previous human work. "Close to being solved" is a statement about all the previous human work that mathematicians might have used to do it in five years.