Zehn bisher ungelöste Probleme der Mathematik und der theoretischen Informatik sind nun geknackt – nicht von Menschen, sondern vom KI-Modell Astra der Firma OpenAI. Das rüttelt am Selbstbewusstsein der Zunft und könnte auch ihre Praxis verändern.