The animation player is made by the AI and there have been many optimization passes but the AI did them so I can't help you really with that question. I'm using GPT 5.5. I initially tried Three.js but it was way too slow, so I went building shaders directly. I figured the fastest paths will need to be tailored to the use-cases and a framework is good for humans at the expense of performance but since now we can just write the specific code directly that's better.