Specifically, the AI was able to make progress on a complex problem called the Andrews–Curtis conjecture, which has stumped ...
We do ultimately learn who committed the crimes. But that's not what audiences will remember after leaving the theater.