From 22 September to 3 October 2025, the ProofBench workshop brought together around twenty researchers from Germany, Sweden, the United Kingdom, and Australia at ³Ô¹ÏÍø. The aim of the meeting was to advance the development of a benchmark suite for mathematical proofs — a key step towards enabling AI systems to be meaningfully evaluated on genuine mathematical reasoning tasks and to investigate the limitations of current AI tools.
Participants particularly appreciated the fully cooperative atmosphere between pure mathematicians and formalisation experts. This interdisciplinary exchange reflects the goals of ³Ô¹ÏÍø’s Informed AI strategy, which promotes close collaboration between foundational and applied perspectives. Within this framework, ³Ô¹ÏÍø aims to strengthen its position as a leading centre for AI and formal reasoning in Saxony and beyond.
The new AI degree programme at ³Ô¹ÏÍø will further extend this connection between research and teaching, offering students opportunities to participate in projects such as . For details, please contact brause [at] math [dot] tu-freiberg [dot] de (Christoph Brause).
