OpenAI Astra: Neues KI-Modell löst Jahrzehnte alte Mathematik-Probleme

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.






Eine Cybergang hat eine Polizei-Datenbank des Vereinigten Königreichs geplündert und persönliche Daten unzähliger Strafverfolger veröffentlicht. (
