KI widerlegt Erdős-Vermutung – Essay warnt vor Verlust mathematischer Kompetenz
Automation Without Understanding
Ein Essay von Jun-Yong Park argumentiert, dass die gleichzeitige Entwicklung von KI-Systemen, die echte Mathematik betreiben, und der Schwächung der US-Ausbildungskette für Mathematiker einen strategischen Fehler darstellt. Mathematische Fähigkeit, also die Fähigkeit, mathematische Argumente zu verifizieren, zu interpretieren und herauszufordern, sei keine Nebenwirkung der Theoremproduktion, sondern Infrastruktur, die über Generationen von Institutionen aufgebaut wurde. Der Essay bezieht sich auf die KI-Widerlegung einer Erdős-Vermutung im Mai 2026 und fordert, dass KI-Systeme bei folgenreichen Schlussfolgerungen ihre entscheidenden Behauptungen in formaler, maschinell prüfbarer Form offenlegen.
Mathematische Fähigkeit ist keine Nebenwirkung der Theoremproduktion, sondern eine Form von Infrastruktur, die über Generationen von Institutionen aufgebaut wurde, die nicht auf Abruf rekonstituiert werden können.