OpenAI Astra: Neues KI-Modell löst Jahr­zehn­te alte Ma­thematik-Pro­ble­me

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.

Quelle: Feed/Computerbase.de [ mehr ]