OpenAI veröffentlichte Ergebnisse zu 377 mathematischen Problemen, die Algebra, Zahlentheorie, theoretische Informatik, mathematische Logik und Topologie umfassen, nachdem es zuvor behauptet hatte, die Navier-Stokes-Gleichung gelöst zu haben, ein Millennium-Problem mit einem Preis von 1 Million Dollar. Die Ergebnisse nutzten ein nicht veröffentlichtes fortschrittliches KI-Modell und wurden mit dem Lean-Überprüfungssystem geprüft, wobei durchschnittlich etwa drei Stunden Rechenzeit pro Lösung benötigt wurde. OpenAI sagte, es habe Feedback eines unabhängigen Beratungsgremiums integriert, das vom Institute for Advanced Study in Princeton, N.
J. veranstaltet wurde und den Mathematiker Harvard Melanie Wood umfasst. Der Rat forderte Transparenz, forderte die Veröffentlichung von KI-Prompts und Denkketten und kritisierte KI-Unternehmen, proprietäre Modelle in unlösbaren Problemen zu testen. Trotz dieser Punkte führt OpenAI weiterhin interne Tests durch, wobei Forschung führend Dan Roberts sagt, dass es hilft, bessere Werkzeuge zu bauen.
NYU-Mathematiker Tristan Buckmaster warnte, dass KI möglicherweise Beweise mit vorheriger Arbeit von Mathematikern vervollständigt, was Bedenken hinsichtlich Anerkennung und Originalität in der KI-assistierten Entdeckung aufwirft.
Quelle: New York Times Top Stories · Zusammengefasst von HeadlinesBriefing