October 27, 2026 OpenAI réfute l'hypothèse du temps exponentiel et confie la vérification à ses auteurs OpenAIInformatique ThéoriqueVérification FormelleComplexité Computationnelle