Vom 22. September bis zum 3. Oktober 2025 brachte der ProofBench-Workshop rund zwanzig Forscher aus Deutschland, Schweden, dem Vereinigten Königreich und Australien an der TU Freiberg zusammen. Ziel des Treffens war es, die Entwicklung einer Benchmark-Suite für mathematische Beweise voranzutreiben - ein wichtiger Schritt, um KI-Systeme bei echten mathematischen Beweisaufgaben sinnvoll evaluieren zu können und die Grenzen aktueller KI-Werkzeuge zu untersuchen.

Die Teilnehmer schätzten vor allem die sehr kooperative Atmosphäre zwischen reinen Mathematikern und Formalisierungsexperten. Dieser interdisziplinäre Austausch spiegelt die Ziele der Strategie Informierte KI der TU Freiberg wider, die eine enge Zusammenarbeit zwischen grundlagenorientierten und angewandten Perspektiven fördert. In diesem Rahmen will die TU Freiberg ihre Position als führendes Zentrum für KI und formales Schließen in Sachsen und darüber hinaus stärken.

Der neue Studiengang KI an der TU Freiberg wird diese Verbindung zwischen Forschung und Lehre weiter ausbauen und den Studierenden die Möglichkeit bieten, an Projekten wie ProofBench teilzunehmen. Für Details wenden Sie sich bitte an brause [at] math [dot] tu-freiberg [dot] de (Christoph Brause).