From 22 September to 3 October 2025, the ProofBench workshop brought together around twenty researchers from Germany, Sweden, the United Kingdom, and Australia at TU Freiberg. 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 TU Freiberg’s Informed AI strategy, which promotes close collaboration between foundational and applied perspectives. Within this framework, TU Freiberg aims to strengthen its position as a leading centre for AI and formal reasoning in Saxony and beyond.
The new AI degree programme at TU Freiberg will further extend this connection between research and teaching, offering students opportunities to participate in projects such as ProofBench. For details, please contact brause [at] math [dot] tu-freiberg [dot] de (Christoph Brause).
