26. Mai 2026 OpenAI-Modell widerlegt 80 Jahre alte Mathe-Vermutung OpenAI Research Mathematik Reasoning KI-Forschung