Grosse Sprachmodelle wie ChatGPT können alles Mögliche – auch korrekten Computercode schreiben. Aber wie gut sind sie in Mathematik? Dies ist eine der Fragen, die der Mathematiker Kevin Buzzard vom Imperial College, London im Rahmen der Paul Bernays Lectures am 28., 29. und 30. August 2023 erläutern wird.
Die Paul Bernays Lectures sind eine jährlich stattfindende Ehrenvorlesungsreihe, die der Philosophie der exakten Wissenschaften gewidmet ist. Mit ihr wird der eminente Logiker, Mathematiker sowie Philosoph der Logik und Mathematik, Paul Bernays geehrt, der von 1934 bis 1959 an der ETH Zürich lehrte und forschte. Die Vorlesungsreihe wurde 2012 von Professor Giovanni Sommaruga (D-GESS) ins Leben gerufen.
Das Thema der diesjährigen Paul Bernays Lectures ist:
«Mathematics and the computer»
Die Vorträge werden von Kevin Buzzard, Professor für Mathematik, Imperial College, London gehalten. Im ersten Vortrag für ein breites Publikum wird Kevin Buzzard einen Überblick geben, wo die Mathematik in der Anwendbarkeit von Künstlicher Intelligenz auf mathematische Probleme steht, und frei überlegen, wohin die weitere Entwicklung geht: Werden, realistisch betrachtet, moderne Computertools wie etwa grosse Sprachmodelle und interaktive Theorem-Beweistools jemals in der Lage sein, arbeitende Mathematiker in ihrer Forschung zu unterstützen? Was ein interaktiver Theorem-Beweiser ist und wie er sich einsetzen lässt, wird Buzzard im zweiten Vortrag vertiefen und im dritten anhand einer vom Fields-Medaillenträger Peter Scholz aufgeworfenen Frage darlegen.
Die Vorträge finden im Hauptgebäude der ETH Zürich statt:
Vortrag 1: «Can AI do mathematics?»
Montag, 28 August 2023, 17:00 Uhr, HG F 30 (Audimax)
Vortrag 2: "What is an interactive theorem prover?"
Dienstag, 29 August 2023, 17:00 Uhr, HG E 7
Vortrag 3: «The liquid tensor experiment»
Mittwoch, 30 August 2023, 17:00 Uhr, HG E 7
Alle Vorträge werden auf Englisch gehalten. Vortrag 1 richtet sich an ein breites Publikum.
Weitere Informationen
Paul Bernays Lectures 2023 (auf Englisch)
Immer aktuell informiert
Möchten Sie stets die wichtigsten internen Informationen und News der ETH Zürich erhalten? Dann abonnieren Sie den Newsletter «Intern aktuell» und besuchen Sie regelmässig Staffnet, das Info-Portal für ETH-Mitarbeitende.