OpenAIs mathematische Lösungen entsprechen noch nicht den Fachstandards

Als OpenAI diese Woche hunderte behauptete Lösungen für einige der schwierigsten mathematischen Probleme der Welt veröffentlichte, erklärte das Frontier-Labor, dass es eine Beratergruppe aus Elite-Mathematikern konsultiert habe, um die Kontroverse zu vermeiden, die das letzte Mal entstand, als eines seiner Modelle ein langjähriges Problem auf diesem Gebiet löste.

Doch OpenAI blieb hinter diesen Standards zurück, insbesondere dort, wo die Mathematiker die Notwendigkeit des menschlichen Verständnisses eines mathematischen Ergebnisses betonten. Das ist besonders besorgniserregend, nachdem eine neue Arbeit Lücken zwischen der natürlichen Sprache und der formal ausgedrückten Lösung eines Millionen-Dollar-Problems aufzeigte, das angeblich von OpenAI-Modellen gelöst wurde.

Die Advisory Group on Mathematics and Artificial Intelligence (AGMAI), angesiedelt am Institute for Advanced Studies der Princeton University, besteht aus neun prominenten Forschern an Institutionen auf der ganzen Welt.

Die Organisation veröffentlichte Ende September Richtlinien für Frontier-Labore, die mathematische Probleme lösen. In einer Erklärung zum neuesten Satz von Beweisen sagte die AGMAI, dass „es letztlich an der mathematischen Gemeinschaft liegt, zu beurteilen, inwieweit unsere Empfehlungen erfolgreich befolgt wurden.“