Superintelligent machines may well need us after all

Despite AI's dizzying improvements in mathematical ability, its successes show just how integral human mathematicians are to the scientific process