Event
Overview
Conference on the conceptual implications of artificial intelligence for mathematical proof and research.
The conference examines how AI-assisted mathematical research affects proof, explanation, understanding, trust and mathematical practice. Sessions will be livestreamed and recorded.
Program
Organizers: Sorin Bangu, Ásgeir Berg and Fenner Stanley Tanswell. Detailed speaker schedule is to be announced by the organizers.