Professional mathematicians have been stunned by the progress amateurs have made in solving long-standing problems with the assistance of AI tools, and say it could lead to a new way of doing mathematics