OpenAI bittet externe Experten, darunter einen Nobelpreisträger, um Überprüfung von KI-generierten Beweisen
decoder ·
OpenAI hat externe Experten, darunter einen Nobelpreisträger, beauftragt, von seinen KI-Modellen generierte Beweise in den Bereichen Mathematik, Informatik und Physik zu überprüfen. In der Informatik behauptet die KI, die Exponential Time Hypothesis widerlegt zu haben, was grundlegende Annahmen zur Problemkomplexität herausfordern und potenziell SAT-Solver beeinflussen könnte. Ein separates mathematisches Ergebnis behandelt die lokale Glättungsvermutung für Wellen in allen Dimensionen, was auch Lösungen für die Kakeya- und Stein-Einschränkungsvermutungen impliziert. In der Physik behauptet die KI, die mathematische Existenz der Yang-Mills-Theorie in vier Dimensionen bewiesen zu haben, wodurch ein Teil eines Millennium-Problems angesprochen wird, jedoch nicht das damit verbundene Massenlücke-Problem. Jedes Feld wird von verschiedenen Gruppen von Spezialisten überprüft, wobei OpenAI Rohdaten und Lean-Übersetzungen bereitstellt, um eine unabhängige Überprüfung zu erleichtern. Das Unternehmen betont, dass es keinen wissenschaftlichen Anspruch erhebt, sondern stattdessen darauf abzielt, durch Finanzierung und Transparenz eine strenge Peer-Review zu unterstützen. Diese Initiative folgt früheren Kontroversen, woraufhin OpenAI einen vorsichtigeren Ansatz bezüglich der Zuschreibung und Validierung KI-generierter Entdeckungen übernommen hat.
decoder