BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260422T171516Z
DTSTART;TZID=America/New_York:20260410T120000
DTEND;TZID=America/New_York:20260410T130000
SUMMARY:LTT: Simon DeDeo -  Alien Proofs
UID:20260427T005001Z-iCalPlugin-Grails@philevents-web-6b96c54f56-bljdq
TZID:America/New_York
LOCATION: University of Pittsburgh\, 4200 Fifth Avenue\, Pittsburgh\, United States\, 15260
DESCRIPTION:<p>The Center for Philosophy of Science at the University of Pittsburgh invites you to join us for our Lunch Time Talk.&nbsp\;Attend in person at 1117 Cathedral of Learning or visit our live stream on YouTube at&nbsp\;<a rel="noopenerdata-cke-saved-href="https://www.youtube.com/channel/UCrRp47ZMXD7NXO3a9Gyh2sg">https://www.youtube.com/channel/UCrRp47ZMXD7NXO3a9Gyh2sg</a>.</p>\n\n<p><strong>Lunch Time Talk -&nbsp\; <a data-cke-saved-href="https://www.cmu.edu/dietrich/sds/people/faculty/simon-dedeo.html">Simon DeDeo</a></strong></p>\n<p>Carnegie Mellon University &amp\; the Santa Fe Institute <a data-cke-saved-href="https://proofsandreasons.io/">https://proofsandreasons.io</a></p>\n\n<p><strong>Friday April 10th @ Noon</strong></p>\n<p>Join us in person in room 1117 on the 11th floor of the Cathedral of Learning.&nbsp\;</p>\n\n<p><strong>Title: </strong>&nbsp\;<strong>&nbsp\;Alien Proofs</strong></p>\n\n<p><strong>&nbsp\;Abstract:&nbsp\;</strong></p>\n<p>It is now possible to write verifiably-correct proofs of sophisticated mathematical theorems in computer programming languages such as Lean. Coupled with recent developments in Generative Artificial Intelligence\, this means we are now able to explore\, for the first time\, the space of mathematical proofs in ways that go beyond human intuition\, capacity\, and patience\, and to answer\, in new ways and through empirical study\, questions that were previously the realm of science fiction and philosophical speculation: how do humans carve the space of mathematics? What regions do we leave unexplored and what lies beyond our ken? How do our cognitive limitations constrain us or\, conversely\, lead us to explanatory and fertile ground? I will present the first results from the Proofs and Reasons Project\, a multidisciplinary collaboration between philosophers\, cognitive scientists\, mathematicians\, and computer scientists. I will present the first statistical studies of artificially-generated proofs\, constructed with\, and without\, human guidance\; our first results on so-called "ablation" studies that demonstrate the existence of what we refer to as generative constraints\; and the first results that probe the often misaligned preferences of humans and machines in cyborg proofs. These results challenge basic orthodoxies in the philosophy of mathematics\, and provide new problems for philosophers of science\, mathematics\, and AI.</p>\n<p>Joint work with Zephyr Fan\, B&aacute\;lint Gyevn&aacute\;r\, and Eamon Duede\, supported by Grant 63750 from the John Templeton Foundation.</p>\n\n<p>This talk will be available online: &nbsp\;Zoom:&nbsp\; <a data-cke-saved-href="https://pitt.zoom.us/j/97095624890">https://pitt.zoom.us/j/97095624890</a>&nbsp\;and&nbsp\;</p>\n<p>YouTube:&nbsp\;<a data-cke-saved-href="https://www.youtube.com/channel/UCrRp47ZMXD7NXO3a9Gyh2sg">https://www.youtube.com/channel/UCrRp47ZMXD7NXO3a9Gyh2sg</a></p>
ORGANIZER;CN=Edouard Machery:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR