AI systems have produced interesting mathematical constructions and alternative approaches to problems, but their demonstrated examples are less impressive than founding a field such as group theory.

“and producing new understanding of like oh there's this like thing the AI this like construction the AI found which is pretty interesting or like found this like way of thinking about the problem that's a bit different and we do just see that it's just that the examples we see are not like as impressive as like founding the field of group theory”