Künstliche Intelligenz – OpenAI zeigt neue KI Astra – sie löst auf Anhieb zehn jahrealte Mathematik-Probleme