Roozbeh Yousefzadeh

Die Nutzung von KI zum Schreiben formeller Beweise für anspruchsvolle Matheprobleme zeigt neue Wege auf.