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 911±¬ÁÏÍø 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 911±¬ÁÏÍø wider, die eine enge Zusammenarbeit zwischen grundlagenorientierten und angewandten Perspektiven fördert. In diesem Rahmen will die 911±¬ÁÏÍø 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 911±¬ÁÏÍø wird diese Verbindung zwischen Forschung und Lehre weiter ausbauen und den Studierenden die Möglichkeit bieten, an Projekten wie teilzunehmen. Für Details wenden Sie sich bitte an brause [at] math [dot] tu-freiberg [dot] de (Christoph Brause).
