Is AI Making Us Lazy?—Òur Four Cognitive Options