OpenAI hat kürzlich einen umfassenden Bericht über Mathematik veröffentlicht und dabei den Namen des neuen Modells Astra offiziell bestätigt. Nach Angaben von OpenAI hat eine interne Version von Astra, die als „nächste große Modellfamilie“ des Unternehmens gilt, zehn ungelöste Probleme aus der Mathematik und theoretischen Informatik erfolgreich gelöst. Diese Herausforderungen waren seit mindestens einem Jahrzehnt ungelöst, in vielen Fällen sogar noch länger.
Die Ergebnisse decken ein breites Spektrum an Fachgebieten ab, darunter hochdimensionale Geometrie, Codierungstheorie, Gruppentheorie, Quantenkomplexität, Gitterkryptografie und extremale Kombinatorik. Unter den gelösten Problemen befindet sich beispielsweise der Nachweis der Existenz sogenannter nicht-sofischer Gruppen, eine zentrale offene Frage innerhalb der Gruppentheorie. Diese Erfolge sind Teil der Entwicklungen, die auch in der Finanzierungsrunde überschreitet 120 Milliarden Dollar dank neuer Mittelzuflüsse sichtbar werden.
Zusätzlich zeigt ein neues Framework, dass KI-Modelle menschliche Unterstützung beim Roboter-Coding benötigen, was die Relevanz dieser Fortschritte unterstreicht.
„`
Quellen: the-decoder
Bildquelle: KI generiert
🚀