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?