It was actually kind of vague as to what they did -- they talked about "feeding the textbook to the computer" which may have implied some sort of programming/pr

It was actually kind of vague as to what they did -- they talked about "feeding the textbook to the computer" which may have implied some sort of programming/presolving problems, but later they could literally (as in using voice) ask the computer to solve a math "word problem" and it could.