This conference will be about the conceptual-philosophical implications of AI-based proving and autoformalisation for mathematics. Examples include the resolution of various Erdos problems by Google DeepMind&rsquo\;s Alethia model\, the recent disproof of the unit distance conjecture by OpenAI&rsquo\;s GPT model\, and the (partial) autoformalisations of sphere packing in dimension 8 and 24 by the model Gauss from Math Inc. \;
We aim to reflect on how these technologies may transform mathematical practice\, with a concentration on the practice of creating and verifying proofs. While some view the use of LLMs\, and AI in general\, as heralding a new era of machine-assisted mathematics\, others caution against overestimating their capabilities and warn of the downsides of automating mathematics. The workshop aims to critically assess the role of AI-based mathematics\, striking a balance between optimism and scepticism.
We invite the submission of titles and abstracts suitable for presentation at the conference. \;
Submitted talks will have a timeslot of roughly 45 minutes including Q &\; A. Abstracts should be no longer than 500 words\, and should be accompanied by a short (1-page) CV. \;
Submissions are welcome from related disciplines (philosophy\, mathematics\, computer science\, STS\, HPS\, etc.) but should directly address philosophical questions about the use of AI in mathematical research\, such as relating to changes in mathematical practice\, the social epistemology of mathematics\, the nature of computer generated proofs\, creativity in mathematical research\, etc.
Please submit these abstracts to F.Tanswell@TU-Berlin.de with the subject &lsquo\;Abstract Submission&rsquo\;.
\nSubmission deadline: 15th July 2026.
\nNotification of result: 15th August 2026.
The conference will be livestreamed\, recorded\, and made available online (with speakers&rsquo\; permission).