Wie verändern formale Methoden und künstliche Intelligenz die Mathematik? Mit dieser Frage beschäftigte sich der internationale Workshop «Formalization and Proof Assistants», der vom 25. bis 27. März 2026 an der FernUni Schweiz stattfand und von Mathematikprofessor David Loeffler organisiert wurde. Die Veranstaltung war Teil der «Spring Meetings» der Schweizerischen Mathematischen Gesellschaft und brachte führende Expertinnen und Experten aus aller Welt zusammen.

Zu den Referierenden zählten sowohl renommierte Forschende aus der akademischen Welt als auch Vertreterinnen und Vertreter der Industrie. Unter ihnen war die Fields-Medaillengewinnerin Maryna Viazovska (EPFL) sowie Fachpersonen aus führenden KI-Unternehmen wie Google DeepMind. Diese Kombination unterschiedlicher Perspektiven unterstrich die zunehmende Verbindung zwischen universitärer Forschung und technologischer Innovation. 

Wir haben uns sehr gefreut, eine so herausragende internationale Expertengruppe auf unserem Campus begrüssen zu dürfen

sagte Prof. Dr. David Loeffler. 

«Die Kombination aus formalen Methoden und künstlicher Intelligenz revolutioniert die mathematische Forschung und bringt neue Einsichten in Fragestellungen, die Mathematikerinnen und Mathematiker seit Jahrhunderten beschäftigen. Es ist ausserordentlich spannend zu beobachten, wie hier im Wallis mathematische Geschichte geschrieben wird.»

Der Workshop wurde durch eine grosszügige Spende der Mathlib Initiative, einem Programm von Renaissance Philanthropy, sowie durch die Schweizerische Mathematische Gesellschaft unterstützt und bot eine lebendige Plattform für Austausch und Zusammenarbeit innerhalb der mathematischen Gemeinschaft. 

Weitere News

PhD researcher in Computer Science – Effortful Learning with Generative AI (100 %) PhD researcher in Computer Science – Collaborative Embodied Learning in VR (100%) Assistant-e pour le module de Psychologie différentielle et psychométrie du Bachelor en… Die verborgene Kraft von Gerüchen und Geschmäckern auf unser Verhalten Fokus auf die Forschung