OpenAI erklärte, dass sein nächstes Generation KI-Modell Astra Fortschritte in der Mathematik und theoretischen Informatik erzielt habe und dabei unter anderem hochdimensionale Geometrie, Codierungstheorie, Gruppentheorie, Quantenkomplexität, post-quantenkryptografie sowie extremale Kombinatorik abdecke. Laut Odaily habe das Unternehmen mit dem Modell 10 Ergebnisse zu Themen wie hochdimensionellem Sphere Packing, binärer und sphärischer Codierung, nicht-sofischen Gruppen, der Vermutung der Connes-Rigidität, der Komplexität arithmetischer Schaltkreise, der quantenparallelen Wiederholung, dem Closest-Vector-Problem, der Vermutung zum Ehrhart-Volumen, mehrfarbigen Ramsey-Zahlen sowie Vermutungen der extremalen Graphentheorie erzielt.

Die Ergebnisse wurden mit einer internen Version von Astra abgeleitet, und die Rechenkosten für die Suche nach den Lösungen betrugen etwa 2.000 US-Dollar gemäß den Sol-API-Preisen. Laut Odaily verwendeten menschliche Forschende anschließend dasselbe Modell, um die Arbeit bei der Erstellung eines Papers zu organisieren, und generierten überprüfbare Beweiszertifikate mithilfe des Lean-Formalbeweissystems.