Yep, I'm excited to see how AI can transform the math research workflow!