Instead, they're adaptive computer systems — a form of artificial intelligence — that Carnegie Learning calls "cognitive models." And they help students learn by having them actually do ...