¿Debería solicitar dar una charla sobre el uso de IA para escribir pruebas invariantes?