CÓMO SE COMPRUEBA UNA DEMOSTRACIÓN MATEMÁTICA HECHA POR UNA IA: LA NUEVA FRONTERA DE LA VERDAD DIGITAL Cuando la máquina supera al notario Estamos en octubre de 2026, en un panorama digital donde la línea entre el cálculo humano y la generación sintética se desdibuja a golpe de algoritmo, los laboratorios de inteligencia artificial han comenzado a alterar los cimientos del razonamiento formal. El 6 de octubre de 2026, OpenAI volcó en GitHub un archivo masivo con setecientos veintidós manuscritos matemáticos generados de forma automática por un modelo interno, una cifra que quedó en setecientos diecinueve tras tres retiradas estratégicas. … Sigue leyendo CÓMO SE COMPRUEBA UNA DEMOSTRACIÓN MATEMÁTICA HECHA POR UNA IA