AI Co-Mathematician