OpenAI hat Mathematiker mit Hunderten KI-generierten Beweisen überrollt. Doch diese sind völlig wertlos, solange sie nicht verstanden sind, kommentiert Manon Bischoff.
Forschende wollen herausfinden, ob Sprachmodelle, die ausschließlich mit historischem Wissen trainiert wurden, bahnbrechende Entdeckungen eigenständig reproduzieren können.