It seems that AI has a harder time getting basic sports facts right than solving math proofs. He just like me fr fr