They have an internal model that made serious progress on four of the seven Millennium Problems in mathematics, fully solving one of them. They'll be alright.