OpenAI's Next-Gen-Modell Astra löst zehn mathematische Probleme für 2.000 Dollar Rechenleistung
OpenAI
OpenAI veröffentlichte zehn Durchbrüche in Mathematik und theoretischer Informatik, erzielt durch eine interne Version seines nächsten großen Modells, Astra. Die Gesamtkosten für Token zur Lösungsfindung, basierend auf den Sol-API-Preisen, betrugen etwa 2.000 Dollar. Die Durchbrüche decken eine Bandbreite von Themen ab, von Kugelpackungen bis hin zu Komplexitätstheorie.
Am 1. August kündigte OpenAI zehn Durchbrüche in Mathematik und theoretischer Informatik an, die mit einer internen Version seines nächsten Hauptmodells Astra erzielt wurden. Gemäß der Sol-API-Preiskalkulation beliefen sich die Gesamtkosten für Token, die zur Lösung dieser Probleme benötigt wurden, auf etwa 2.000 US-Dollar. Zu den zehn Durchbrüchen gehören obere Schranken für dichte Kugelpackungen in hohen Dimensionen, Verbesserungen der Schranken für binäre und sphärische Codes, ein Beweis für die Existenz nicht-auflösbarer Sophie-Gruppen, die Widerlegung der Connes-Rigiditätsvermutung, neue untere Schranken für die Komplexität arithmetischer Schaltkreise, ein Quanten-Parallel-Wiederholungssatz, der Beweis der Approximationshärte mit Polynomfaktor für das nächste-Vektor-Problem, die Ehrhart-Volumenvermutung, superexponentielle untere Schranken für mehrfarbige Ramsey-Zahlen und Extremalzahlvermutungen.
Quelle: 36Kr —
Original