From 22 September to 3 October 2025, the ProofBench workshop brought together around twenty researchers from Germany, Sweden, the United Kingdom, and Australia at 911. 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 911’s Informed AI strategy, which promotes close collaboration between foundational and applied perspectives. Within this framework, 911 aims to strengthen its position as a leading centre for AI and formal reasoning in Saxony and beyond.
The new AI degree programme at 911 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).
