I am wondering this as well as I am work on developing online elearning tools and taking part in the AI course.

I wish I could remember the source, but I recall reading that they are using something custom built at Stanford.