Marcus Zibrowius

Marcus Zibrowius is a Professor of Topology and Geometry at Heinrich Heine University Düsseldorf. He completed his PhD thesis under the supervision of Burt Totaro at the University of Cambridge. While his core research is in K-theory, he has more recently also led research into large language models using methods of topological data analysis.

Project Description

Game Over or QED? – Taking the Lean Game Server to the next level
The Lean Game Server project aims to broaden the reach and impact of computer-assisted theorem proving by providing an accessible introduction to mathematical formalization and verification. The server will be expanded to attract a diverse group of students and researchers, encouraging their participation in formalized mathematics, enhance its educational value and foster a larger community of contributors in the AI for Math field.