Schöne neue Mathematik-Welt: Ein Beweis ist noch keine Erkenntnis!

OpenAI hat Mathematiker mit hunderten KI-generierten Beweisen überrollt. Doch diese sind völlig wertlos, solange sie nicht verstanden sind, kommentiert Manon Bischoff.