I don't think he was involved in that though.

He was. he didn't just parachute in Meta to start working on PyTorch. he worked in many areas of the product and a member of the senior technical staff, was knowledgable about many aspects of the company.