Fehler in Schularbeiten finden und diese objektiv benoten – kann die KI besser, behaupten neue Onlinedienste. Einige Lehrer nutzen sie schon. Mit Erfolg?