Mohammad Usman, missing since 2012, was revealed to be in a Pakistani jail, leaving his family and authorities in shock.

Specifically, the AI was able to make progress on a complex problem called the Andrews–Curtis conjecture, which has stumped ...