[This is a guest post by Deanna Needell and Hayden Schaeffer – T.] AI systems are playing an important part in mathematical discoveries, and several recent preprints describe results reached with their help. What makes these results possible is often a rich partnership between human insight, expertise, and earlier work combining with new AI capabilities […]