CWI. Artificial intelligence is starting to change how mathematicians work, from automating proof discovery and formalisation to assistance with paper writing and reviewing. This half-day workshop brings together mathematicians in the Netherlands to develop a shared vision: what should mathematics with AI look like, and what do we need to get there? Location: Turing Hall, Science Park 123, 1098 XG Amsterdam
CWI