Wozu Mathe, es gibt doch KI?

Auf der internationalen Mathematikkonferenz in Philadelphia war von der größten Krise der Mathematik seit einem Jahrhundert die Rede: Die künstliche Intelligenz löst inzwischen mathematische Rätsel, an denen Forscherinnen und Forscher seit Jahrzehnten oder gar Jahrhunderten verzweifeln. Das Problem: Die Beweise sind für Menschen mitunter nicht mehr zu verstehen. Stimmen sie überhaupt? Und was…