KI-Systeme produzieren Beweise am Fliessband und stürzen die Mathematik in eine Jahrhundertkrise

Open AI hat KI-Beweise für zehn mathematische Probleme veröffentlicht, an denen Menschen vergeblich geknobelt haben. Eine neue Ära der Mathematik bricht an – welche Rolle spielt dabei noch der Mensch?