Wenn Maschinen Beweise führen: Wie KI die Mathematik revolutioniert

Mathematische Beweise galten lange als Ausdruck menschlicher Kreativität. Künftig könnte KI zunehmend die Beweisarbeit übernehmen – und zwingt Mathematiker, sich neu zu erfinden.