How long before colleges still using "artificial intelligence" are threatened with defunding?