Get Instant Summarized Text (Gist) An AI program has been developed to tackle complex math problems requiring long sequences of steps, such as those related to the Andrews–Curtis conjecture ...