October 27, 2026 OpenAI widerlegt die Exponentialzeithypothese: Verifikation an Urheber übertragen OpenAITheoretische InformatikFormale VerifikationKomplexitätstheorie