Künstliche Intelligenz hat einen enormen Sprung gemacht: Sie knackt die größten Rätsel der Mathematik. Wie sie das geschafft hat, erklären Menschen, die dabei waren.