Was OpenAI Astras 10 mathematische Ergebnisse wirklich beweisen: Eine kritische Analyse 27. September 2026