Survey on AI Tools in Mathematics

Stream: Machine Learning for Theorem Proving

[Shanda Li]

Hi everyone,

We are a team of PhD students researching how mathematicians and formalization experts use (or don't use) AI-based tools in their work.

We'd love to hear how you're using AI, how you're not, what future tools you'd like to see, and more! Please consider responding to this brief 5-10 minute survey for our research. Three random respondents will receive a $30 Amazon gift card as a small thank you.

Survey Link: https://forms.gle/Dv9JbvUvpLeV8ryc7

Thanks so much for your time and input! Happy to answer any questions you might have here.