Wie kann Künstliche Intelligenz die mathematische Forschung unterstützen? Kürzlich trafen sich 35 Wissenschaftlerinnen und Wissenschaftler an unserem Institut zu einem Workshop, um gemeinsam zu erforschen, wie die wissenschaftliche Gemeinschaft dazu beitragen kann, die Möglichkeiten und Grenzen großer Sprachmodelle für die Forschung auf mathematischem Spitzenniveau besser zu verstehen.