OpenAI veröffentlicht 700 mathematische Manuskripte – und die Mathematiker sind alarmiert
Who Taught the Machines Mathematics?
OpenAI hat über 700 mathematische Manuskripte veröffentlicht, die von einem internen KI-System erstellt wurden, einige mit Lean-Beweisen. Nisheeth Vishnoi reflektiert über die Folgen für die Mathematik: Die Gemeinschaft verliert die Kontrolle über das Wissen, das sie über Generationen aufgebaut hat. Die Konventionen, die Vertrauen sichern, geraten unter Druck, und die Prüfkapazität der Mathematiker wird durch die schiere Menge überfordert.
Ich hatte mir das als Fortsetzung einer menschlichen Tätigkeit vorgestellt. Ich half jemandem, Mathematik zu lernen, und vielleicht würde diese Person andere unterrichten, Dinge entdecken, die ich nicht entdeckt hatte, und etwas von dem, was wir gelernt hatten, in neue Richtungen tragen. Ich konnte mir nicht vorstellen, dieses Wissen als etwas zu behandeln, das man hüten muss. Sein Wert lag zum Teil darin, dass es weitergegeben werden konnte.