Teaching AI Advanced Mathematical Reasoning

  Scientists think that if a machine can show a math idea is true or false, then that machine is smart. But this kind of math work is tricky. It's…