Themen

Von KI generierte mathematische Beweise

Der Einsatz von KI-Systemen zur Unterstützung bei der Erstellung mathematischer Beweise und die damit verbundenen Fragen der Überprüfung, Transparenz und Zuordnung von Urheberschaft.