They may be better than humans at reasoning but they are substantially worse than the first generation logic programs from the 1950s.