#Lean

Astra: Die KI, die klüger ist als ein PhD?

Das neue Modell von OpenAI hat gerade 10 große mathematische Probleme gelöst, aber die eigentliche Geschichte sind nicht die gefundenen Antworten. Es ist die revolutionäre, selbstverifizierende Methode, die es verwendet hat – und was das für die Zukunft der komplexen Problemlösung bedeutet.