The panel discussion was held on Thursday, October 15, 2026. The meeting was not recorded.
Artem Chernikov — University of Maryland, College Park
Gabriel Conant — University of Illinois Chicago
Ehud Hrushovski — University of Oxford
Anand Pillay — University of Notre Dame
Silvain Rideau-Kikuchi — École Normal Suprérieure (PSL)
Thomas Scanlon — University of California, Berkeley
Katrin Tent — University of Münster
Opening remarks from the panelists.
Curated questions, selected from submissions by the community and discussed live by the panel.
Open discussion, with live questions from the audience.
The meeting will be moderated by Yatir Halevi. Both the curated questions and open discussion sections will include time specifically dedicated to questions from students and early-career researchers.
We would like to thank all the panelists and participants for sharing articles, papers and books during the panel. Here are the links to them:
The working group report from the Simons Institute, covering topics such as AI disclosure, conferences, hiring and graduate education.
The report of Summit on PhD Math Education in the Age of AI, held at the Harvard University.
A petition on arXiv calling for a simple permission toggle that would allow authors to decide what automated scrapers can access.
Recommendations from the Association for Human Mathematics (AHM).
On Lean verification:
A guest post on Terence Tao's blog obout formalisation, Lean, and the type theory underlying Lean.
"Navier-Stockes lost in translation": mismatches between the natural language proofs and auto-formalised Lean proofs.
"A critical look at Lean 4": a discussion of the issues with Lean 4 has as a software.
Tao's blog post on Sair's Open Math Model, an initiative to build open models for mathematical community.
An article about findings on how AI affects student learning.
On the topic of Enshittification:
The book on Enshittification by Cory Doctorow.
An article about the Enshittification of mathematcis.
Another book about AI by Cory Doctorow
Two journals published by MSP that provide high-quality expository articles: Essential Number Theory and Essential Analysis.
Other useful websites: Proofs and Promps; Terence Tao's blog.
The purpose of this panel is to have an open and honest discussion about artificial intelligence and its relationship with the model theory community. Anyone who self-identifies as a model theorist is welcome to join. The aim is not to provide definitive answers, but to share thoughts and ideas with one another and support each other, especially our junior colleagues, in a time of great uncertainty.
Kyle Gannon, Yatir Halevi and Tingxiang Zou