OpenAIs mathematische Lösungen entsprechen noch nicht den Standards des Fachgebiets
techcrunch ·
OpenAI hat kürzlich Hunderte von Lösungen für komplexe mathematische Probleme veröffentlicht und dabei behauptet, mit einer Beratergruppe zusammengearbeitet zu haben, um hohe Standards sicherzustellen. Die Advisory Group on Mathematics and Artificial Intelligence (AGMAI) gab jedoch an, dass OpenAI diese Erwartungen nicht erfüllt habe, insbesondere im Hinblick auf das menschliche Verständnis der Ergebnisse. Während OpenAI einige Richtlinien befolgte, indem es Beweise schnell veröffentlichte, erfüllte es andere nicht, wie etwa die Bereitstellung von Chain-of-Thought-Daten für die meisten Manuskripte oder die Formalisierung eines erheblichen Teils der Beweise. Kritiker, darunter der renommierte Mathematiker Terence Tao, argumentieren, dass KI-Löser kein echtes Interesse am breiteren Feld zeigen und ihre Ausgaben nicht angemessen erklären können. Eine neue Studie hob Diskrepanzen zwischen Erklärungen in natürlicher Sprache und formalem Lean-Code in OpenAIs Lösungen zu einem Millionendollar-Problem hervor, das aus den Navier-Stokes-Gleichungen abgeleitet wurde. Diese Fehlübersetzungen wecken Bedenken hinsichtlich der Verlassbarkeit darauf, Modelle ihre eigene Arbeit formalisieren zu lassen, ohne strenge menschliche Peer-Review. Mathematiker betonen, dass wahre Entdeckung menschliches Engagement und Verantwortung erfordert, was aktuelle KI-Prozesse nicht bieten. Folglich bleibt die Gemeinschaft skeptisch, ob OpenAI ausreichend Verantwortung dafür übernimmt, das menschliche Verständnis dieser autonomen Lösungen sicherzustellen.
techcrunch