July 19, 2026 GPT-5.6, une seule instruction, et la preuve qu'un algorithme de 30 ans avait atteint sa limite IAGPT-5.6MathématiquesPreuve Formelle