80 Jahre lang bissen sich Mathematiker an Erdos' Problem die Zähne aus. Jetzt hat KI eine Lösung gefunden – und Fields-Medaillengewinner sind begeistert.