Everyone speculates about Artificial Intelligence. Some imagine futures where human intelligence becomes entirely obsolete, while others believe that deep reasoning is generally unachievable by machines. Wherever the truth may lie, the working mathematician of the future is likely to use tools of artificial intelligence in their day-to-day business. The emergence of Large Language Models, followed by the huge public interest in their capabilities, renders it only more urgent that mathematicians all around the world get together to exchange knowledge on the potential of AI in research and discuss the disruptions to come.

?

?

The workshop will center around the topic Artificial Intelligence in Mathematics Resarch and aims to

?

• ?Highlight examples of current or past usage of AI in Math Research, as well as
• Provide a forum for mathematicians to discuss future such usage.

Here the broad term AI is purposefully used vaguely to include all forms of mechanical reasoning, be it by proof assistants, classical machine learning, or generative AI.

?

?