Accelerating discovery with the AI for Math Initiative - Tech Sentiments