BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260621T235724Z
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:20260622T001850Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
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