Zusammenfassung
OpenAI hat 722 Manuskripte aus einem KI-Modell veröffentlicht, das noch nicht öffentlich zugänglich ist.
Die Arbeiten behaupten, Antworten auf ungelöste Fragen zu liefern, darunter Forschungen zu π und effizienteren Computertechnologien.
Einige Beweise wurden computergestützt überprüft. Die Forscher müssen die Ergebnisse und ihren Nutzen noch bewerten.
OpenAI gibt an, dass ein KI-Modell Antworten auf mathematische Fragen gefunden hat, die Forscher bisher nicht klären konnten. Das Unternehmen veröffentlichte die Nachricht am 6. Oktober. 722 Forschungsmanuskripte veröffentlicht aus dem Projekt, wodurch andere die Argumente prüfen können.
Warum ist das so ein großes Problem?
Bei einem Schultest kennt jemand die Antwort bereits. Ein offenes Forschungsproblem ist eine Frage, die Mathematiker noch nicht gelöst haben. Wenn diese Beweise Bestand haben, erweitern sie das Wissen der Menschheit.
Ein Beweis ist die schrittweise Argumentation, die die Richtigkeit einer mathematischen Aussage belegt. Forschende können ein etabliertes Ergebnis nutzen, um ein anderes Problem anzugehen oder die zugrundeliegende Methode anzupassen. Genau darin liegt das Versprechen: Künstliche Intelligenz könnte ihnen helfen, Probleme zu überwinden, die ihre Arbeit bisher behindert haben.
Wozu könnte das tatsächlich verwendet werden?
Ein Beispiel betrifft die Multiplikation von Matrizen – Zahlengittern. Diese Berechnung wird verwendet in Videospielgrafiken, Wettersimulationen und KI-TrainingWege zu finden, dies mit weniger Aufwand zu bewerkstelligen, kann weit über ein Mathematik-Fachbereich hinaus von Bedeutung sein.
Der Die neue Sammlung enthält eine Behauptung über die Multiplikation sehr großer Matrizen mit weniger Rechenschritten. Mit zunehmender Größe der Rechennetze eröffnet sich eine mögliche Richtung für effizienteres Rechnen. Die Umsetzung dieser Theorie in Software, die auf realen Rechnern schneller läuft, erfordert jedoch weitere Entwicklungsarbeit und Tests.
Für einen Forscher ist der kurzfristige Nutzen direkter: Er liest einen neuen Beweis, überprüft ihn und wendet seinen Ansatz auf eine verwandte Fragestellung an. Die Veröffentlichung beweist nicht, dass Alltagscomputer schneller geworden sind.
Was bedeutet die π-Behauptung?
Pi, geschrieben π, ist ungefähr 3,14159. Teilt man den Umfang eines Kreises durch seinen Durchmesser, erhält man π. Vielleicht erinnern Sie sich noch an 22/7 aus der Schule: Das kommt π nahe, ist aber nicht genau gleich. Der Bruch 355/113 kommt π viel näher.
Wie nahe können Brüche π kommen, wenn ihre Nenner immer größer werden? Eine Näherung ist umso beeindruckender, je näher sie mit einem relativ kleinen Nenner herankommt. Die Studie behauptet, die Grenze dafür festzulegen, wie schnell sich diese Näherungen verbessern können..
Hier geht es um die Eigenschaften von π, nicht um die Berechnung weiterer Dezimalstellen.
Handelt es sich bei diesen 722 einzelnen Durchbrüchen?
Nein. OpenAI Die Forschungssammlung gruppiert die Manuskripte in 372 FamilienMehrere Arbeiten können sich mit demselben Hauptergebnis befassen, wobei unterstützende Argumente oder verschiedene Wege zu dessen Beweisführung vorliegen.
Das Unternehmen gibt an, dem Modell rund 4.000 Aufgaben präsentiert zu haben. Die veröffentlichte Sammlung stellt eine Auswahl der Ergebnisse dieser Bemühungen dar. Keine der beiden Zahlen bedeutet, dass alle bearbeiteten Aufgaben gelöst wurden.
Woher wissen wir, dass die Antworten richtig sind?
Einige Arbeiten enthalten Beweise in Lean, einer Sprache, die es einem Computer ermöglicht, die logischen Schritte zu überprüfen. Dennoch muss weiterhin geprüft werden, ob der formale Beweis mit der aufgestellten Behauptung übereinstimmt. OpenAI räumt ein, dass einige Ergebnisse ohne diese Überprüfungen problematisch sein könnten.
Der unabhängige Beratungsgruppe für Mathematik und Künstliche Intelligenz Mathematiker müssten die Arbeit noch bewerten und verstehen, so das Unternehmen. Die Empfehlung an OpenAI stelle weder eine Befürwortung des Vorgehens des Unternehmens noch ein Urteil über die Ergebnisse dar.
Die Überprüfung eines Beweises durch einen Computer sagt nichts über dessen Nützlichkeit aus. Fachleute müssen weiterhin untersuchen, was jedes Ergebnis belegt und wie es sich in frühere Forschungsergebnisse einfügt. Americana Gecko hat die Beweise nicht unabhängig verifiziert.
Können Sie diese KI jetzt schon einsetzen?
Das Modell, das diese Sammlung erstellt hat, wurde noch nicht veröffentlicht. OpenAI gibt an, an der Veröffentlichung zu arbeiten, hat in dieser Ankündigung jedoch kein Veröffentlichungsdatum genannt.
Das Unternehmen vergleicht den durchschnittlichen Rechenaufwand pro Ergebnis mit etwa drei Stunden Denkzeit mit ChatGPT Pro. Dies ist ein Maß für den Rechenaufwand und keine Garantie dafür, dass ein aktuelles ChatGPT-Abonnement die gleiche Arbeit in drei Stunden erledigen kann.
Lasst die Forscher ihre eigenen Fragen stellen
Wir möchten, dass Universitätslabore, Studierende und unabhängige Mathematiker dieses Modell nutzen und sich die dafür benötigte Rechenleistung leisten können. OpenAI hat die entsprechenden Veröffentlichungen herausgegeben. Als Nächstes möchten wir Forschern außerhalb des Unternehmens die Möglichkeit geben, ihren eigenen Fragestellungen nachzugehen.
