Yale AI-cheating dispute becomes federal lawsuit — Trace