The Aarhus Math&AI Workshop continues the recent sequence of Math&AI meetings and aims to sustain and strengthen the growing momentum in this area. Our speakers include leading researchers from academia and major technology labs. Together, we will explore ongoing collaborations, test cutting-edge models, and discuss recent progress. The talks will cover applications of machine learning in mathematics and physics, formalization and automated reasoning, benchmarking, and broader developments and challenges across the field.
To support participation across time zones, the workshop will feature both a morning and an evening session in Aarhus. These will be complemented by working groups, in which participants collaborate on research problems proposed during the meeting.
*to be confirmed
Aarhus Institute of Advanced Studies
Building 1630
Høegh-Guldbergs Gade 6B
8000 Aarhus
