Schlagwort: Mathematische Beweisfähigkeit von GPT-5