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.
(Evidently not, since humans hadn't managed to do it even with the entirety of human knowledge available to them.)