Previous talks

Abstract: Frank Quinn described an invisible revolution in twentieth-century mathematics: a profound change in our understanding of proof and rigour, which gave rise to modern logic, math and, eventually, theoretical computer science. Today we are living through another transformation. Logic helped create computation, but the current revolution in artificial intelligence has come largely from statistics, neural networks, data and massive computational power. Now logic is needed again: AI systems can produce remarkably convincing mathematical arguments, but convincing is not the same as correct.

This makes formal mathematics newly important. The better machines become at generating mathematics, the more we need reliable ways of checking what they produce. But I do not want the consequence to be that mathematicians must learn to communicate like proof assistants. I will discuss attempts to combine the precision of formal mathematics with the flexibility and economy of ordinary mathematical language, using AI itself to help bridge the two.

Finally, the mathematics we are building is not only technical infrastructure. It depends on open publications, libraries and communities, and on decisions about whose work becomes visible and receives credit. Drawing on my experience with Women in Logic and Women in Formal Mathematics, I will argue that the challenge posed by AI is therefore not simply how machines will do mathematics, but what kind of mathematics—and what kind of mathematical community—we want to build.

Slides: available here.

Recording: available here.

Abstract: As a woman mathematician witnessing the rapid development of AI and its growing impact on society, I wish to draw attention to some important questions and challenges it raises. I speak not as an AI expert, but as an engaged observer seeking to encourage discussion.

AI’s potential to reshape society makes deciding its future a shared responsibility, not a privilege reserved for a few. Women and other underrepresented groups must have a meaningful voice—not only to ensure fair representation, but also to bring diverse perspectives, challenge assumptions, identify overlooked risks, and help safeguard the public interest.

As European Women in Mathematics (EWM), we have contributed to this discussion through our declaration on AI and the mathematics profession. My aim is not to offer definitive answers, but to raise questions and open a discussion about who shapes AI’s future and whose voices are heard.

Slides: available here. 

Recording: available here.