More than three decades after Andrew Wiles proved the 350-year-old Fermat's Last Theorem, mathematicians are teaching AI to ...