Yeah, that looks 3D-printed. I wonder though why he would 3D print a standard part that is also easily obtainable online. (Unless he had a printer already available and it was easier to print it than to buy one)
"Fans of 3D printing will no doubt be pleased to note that some of the parts (notably one of the large gears) came from a printer, but only because buying missing bits online tends to take longer and cost more. A real-world version of the model was designed and built first to make sure it worked. Stud.io was then pressed into service to create rendered versions."
https://www.theregister.com/2024/10/05/lego_ideas_turing_mac...