Autonomous Mathematical Discovery: Potential in AI