The AI for Math workshop is about constructing examples and all participants will be expected to work on problems that will be attacked by AI software. This may well include proposing problems, and working with the AI perhaps for a few days before the meeting and for some time afterwards, in collaboration with experts from the AI company.

Registration is now closed.