July 19, 2026 GPT-5.6 prueba con un solo prompt que un algoritmo de hace 30 años ya tocó su límite IAGPT-5.6MatemáticasDemostración Formal