BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260712T210307Z
DTSTART;TZID=Europe/Berlin:20261007T090000
DTEND;TZID=Europe/Berlin:20261008T170000
SUMMARY:Mathematical Proof in the Age of AI:  Conceptual Implications of the Use of Artificial Intelligence in Mathematical Research 
UID:20260713T094254Z-iCalPlugin-Grails@fe80:0:0:0:5864:16ff:fe1a:92fe%3
TZID:Europe/Berlin
LOCATION:Bergen\, Norway
DESCRIPTION:<p>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 <em>Alethia </em>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.&nbsp\;<br><br>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.<br><br>The conference will be livestreamed\, recorded\, and made available online (with speakers&rsquo\; permission).</p>
ORGANIZER;CN="Ásgeir Berg";CN=Sorin Bangu;CN=Fenner Stanley Tanswell:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR