Vulkane oder Asteroiden? KI beendet Debatte über Dinosaurier-Aussterben