The contribution of our tools was crucial enough for us to be credited with discovering new mathematical results, even though most of our efforts went into developing machine learning models.