[PHILOS-L] CfA: Mathematical Proof in the Age of AI (University of Bergen, Norway, 7-8 October 2026)
Fenner Tanswell
CAUTION: This email originated outside of the University. Do not click links unless you can verify the source of this email and know the content is safe. Check sender address, hover over URLs, and don't open suspicious email attachments. |
Call for Abstracts: Mathematical Proof in the Age of AI: Conceptual Implications of the Use of Artificial Intelligence in Mathematical Research (University of Bergen, Norway, 7-8 October 2026)
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’s Alethia model, the recent disproof of the unit distance conjecture by OpenAI’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.
The conference will be livestreamed, recorded, and made available online (with speakers’ permission).
Please submit these abstracts to F.Tan...@TU-Berlin.de with the subject ‘Abstract Submission’.
Submission deadline: 15th July 2026.
Notification of result: 15th August 2026.
The conference budget will cover lunches and a conference dinner for speakers, but we unfortunately are not able to cover travel, accommodation or other expenses.
The website for the event can be found here: https://www.uib.no/en/fof/182222/mathematical-proof-age-ai-conceptual-implications-use-artificial-intelligence
Organisers: Sorin Bangu (U. of Bergen), Ásgeir Berg (U. of Iceland), Fenner Stanley Tanswell (TU Berlin). Funded by the University of Bergen (UiB AI Seed Funding 2025-2026 and SPIRE 2026).Philos-L "The Liverpool List" is run by the Department of Philosophy, University of Liverpool https://www.liverpool.ac.uk/philosophy/philos-l/ Messages to the list are archived at http://listserv.liv.ac.uk/archives/philos-l.html. Recent posts can also be read in a Facebook group: https://www.facebook.com/PhilosL/ Follow the list on Twitter @PhilosL. Follow the Department of Philosophy @LiverpoolPhilos To sign off the list send a blank message to philos-l-unsub...@liverpool.ac.uk.