@timnitGebru@dair-community.social oh do we have the smoking gun on Coxon being MIRI specifically? I was sure it was a Tallinn/ControlAI op