AI for Mathematics and Theorem Proving is an emerging area as LLMs are becoming strong reasoners, and its promise in advancing the future of mathematics is evident. We hope that through this social, we are able to bring together both ML researchers and mathematicians in order to come together and discuss emerging ideas in the field. We will provide a welcoming environment for everyone to share their unique expertise and wish to foster exciting collaboration opportunities in both fields. We will potentially have discussion groups to facilitate the social process and potentially have mentorship for more junior attendees who are interested in the field.