While AI models did not replace a mathematician in either development, mathematicians have remarked on their ability to find new arguments in the pursuit of cracking old problems