We are sorry to inform you that we made the difficult decision to cancel the workshop in January 2023. Please stay posted for future announcements. 
 

When & Where
From Wednesday January 18 through Friday January 20, we plan to have our workshop 'Creativity in Mathematics and Artificial Intelligence' at Maastricht University. We will end the workshop with a surprise farewell activity on the morning of Saturday January 21.

Aim
Considering current advances in mathematical formalisation and neural theorem proving, this workshop seeks to address the role of creativity in mathematical understanding and artificial intelligence.
In this workshop, we therefore bring together experts from the fields of mathematics, artificial intelligence, cognitive neuroscience and philosophy of mathematics to actively engage in deepening our knowledge of creativity in human and artificial mathematical reasoning.

Attendance
As our main goal is to initiate new interdisciplinary research collaborations, the number of physical participants is limited to 70, while the main presentations will be streamed to allow others to follow these as well. For being able to tune the program to the wishes of our participants, we offer an early bird fee for those registering before November 15.

To optimize collaboration all participants are expected to give 1-minute-pitches to introduce themselves and to profile their interests in creativity. Moreover, all participants are invited to bring a poster describing their current research. Depending on their interests, the participants will form active research teams to identify and discuss research questions which they find particularly relevant and thrilling (examples of research questions are given below). We expect participants to actively engage in these teams. 

Research Questions
Research questions to be addressed by the workshop may include, but are not limited to:

1. What is the (dis)similarity between human vs AI creativity and imagination?
2. Can mathematical reasoning be distinguished from other scientific reasoning?
3. Why are transformers (as NLP tools) so successful in doing mathematics?
4. Are there limits on computational and human creativity?
5. Does formalization/automated theorem proving generate new mathematics?
6. What will the future of mathematics look like?

Results 
In due time, we aim to publish the team answers to the research questions in post-proceedings of the workshop as a book or special issue of a journal.