AI has surpassed the performance of grad students in solving complex theorems. While attempts to train AI to prove complex theorems have not shown much promise, a new method has enabled the AI to solve such problems successfully.