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. 

Diligentia Foundation fördert Forschungsprojekt der FernUni Schweiz zu administrativen Hürden im Steuersystem

Wirtschaftswissenschaften Weiterlesen

Das Wallis im Zentrum der empirischen Wirtschaftsforschung

Wirtschaftswissenschaften Weiterlesen

«Die FernUni Schweiz ist eine attraktive Institution im Bereich hochkarätiger wissenschaftlicher Forschung»

Wirtschaftswissenschaften Weiterlesen

Herzlichen Glückwunsch an Christoph Drobner zu seiner Ernennung an der CEU

Wirtschaftswissenschaften Weiterlesen

Erfolgreicher erster Hackathon an der FernUni Schweiz

Mathematik und Informatik Weiterlesen