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

Walliser Tagung zum Strafrecht: Deepfakes im Fokus

Rechtswissenschaftliche Weiterlesen

SMS Spring Meeting : Formalization and Proof Assistants

Mathematik und Informatik Weiterlesen

Postdoktorandin oder Postdoktorand in Neuerer und Neuester Geschichte (90%)

FernUni Schweiz Weiterlesen

Wissenschaftliche Mitarbeiterin oder wissenschaftlicher Mitarbeiter Student Mobility Office 80-100 %

FernUni Schweiz Weiterlesen

Einladung zur Antrittsvorlesung von Professor Bernhard C. Schär

Geschichte Weiterlesen