Using AI to find examples

This workshop will showcase how AI can assist with exploration, computation, and example-generation in number theory. A central goal is to help researchers overcome the initial barriers to using these tools, especially the uncertainty about how to begin. Through presentations in which speakers explain what they have done and how they work, followed by hands-on sessions where participants can experiment directly, the workshop will offer a practical introduction to integrating AI into mathematical research.