OpenAI vermeldet zehn Fortschritte in Mathematik und theoretischer Informatik durch KI
OpenAI hat zehn bedeutende Fortschritte in Mathematik und theoretischer Informatik bekannt gegeben, die Probleme lösen, die über ein Jahrzehnt ungelöst waren. Die KI-Forschung für diese Lösungen kostete etwa 2.000 US-Dollar in Token-Gebühren.
OpenAI, ein führendes Unternehmen im Bereich der KI-Forschung, hat zehn Durchbrüche in der Mathematik und der theoretischen Informatik verkündet. Diese Fortschritte betreffen Probleme, die seit mindestens zehn Jahren ungelöst waren, wobei die meisten sogar noch länger offen geblieben sind.
Die Berechnungen für diese Durchbrüche wurden mit einer internen Version von OpenAI's nächster Generation des Modells Astra durchgeführt. Die Kosten für die Erstellung der Lösungen, berechnet nach den Tarifen der Sol API, beliefen sich auf etwa 2.000 US-Dollar an Token-Kosten.
OpenAI betonte, dass die Urheberschaft den Entstehungsprozess der Forschungsergebnisse korrekt widerspiegeln sollte. Das Unternehmen ist der Ansicht, dass die Präsentation eines vollständig von einem KI-System generierten Beweises als rein menschliche Arbeit nicht nur den Beitrag des Systems schmälern, sondern auch die Natur menschlicher intellektueller Leistung verzerren würde.
Menschliche Forscher unterstützten bei der Ausarbeitung der Manuskripte und formalisierten die Beweise in der Lean-Sprache zur Überprüfung ihrer Korrektheit. Die mathematischen Argumente selbst wurden jedoch von OpenAI's Systemen generiert. Die gemeldeten Fortschritte umfassen unter anderem neue Obergrenzen für die Packung hochdimensionaler Kugeln, exponentielle Verbesserungen bei binären und sphärischen Codes sowie den Existenzbeweis für nicht-sofic-Gruppen.