People were beginning to notice that the software could handle increasingly complex mathematical material.

“You know, in, in people are beginning to notice, uh, that the software was able to do more complex material. But this is, um, you know, this was a complex proof of a complex theorem.”