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.