This workshop, sponsored by AIM and the NSF, is motivated by the very general questions: What problems in research mathematics are amenable to attack by AI, and how can general AI be improved to be more successful, and more widely applicable, to research mathematics?
The workshop will focus specifically on problems in number theory. Two categories within that area will receive particular attention:
- Improving bounds in theorems, both at the level of main terms and lower order terms
- algorithms: improving existing algorithms and implementing new ones
This event will be run as an AIM-style workshop. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. These include specific problems on which there is hope of making some progress during the workshop, as well as more ambitious problems which may influence the future activity of the field. Lectures at the workshop will be focused on familiarizing the participants with the background material leading up to specific problems, and the schedule will include discussion and parallel working sessions.
For more information email workshops@aimath.org