OpenAI zufolge hat das neue KI-Modell Astra für zehn seit mindestens einem Jahrzehnt ungelöste mathematische Probleme maschinell überprüfbare Beweise generiert. Bemerkenswert sind dabei nicht nur die Ergebnisse selbst: Die Berechnungen für sämtliche Lösungen sollen lediglich rund 2.000 US-Dollar gekostet haben.
