This AI computer can beat students at SAT geometry questions