KI löst im Alleingang Jahrzehnte altes Mathematikproblem – Künstliche Intelligenz

Manche Mathematiker waren so produktiv, dass Menschen daran scheitern, ihren Nachlass aufzuarbeiten, und es Maschinen braucht. So ließe sich die Geschichte eines neuen, KI-generierten Beweises zusammenfassen, der ein 1975 formuliertes Problem des ungarischen Mathematikers Paul Erdős löst.