OpenAI hat mit Astra sein nächstes großes KI-Modell angekündigt. Eine interne Version des Modells habe seit Jahrzehnten ungelöste Probleme aus der Mathematik bearbeitet.