August 3, 2026
Una IA 'desmiente' un enigma matemático de 90 años: el verificador falló primero
IAMatemáticasVerificación Formal
#matemáticas
7 artículos · Todas las etiquetas
📡 Events
July 28, 2026
1294 puntos en HN: ¿Destino matemático o error humano? La teoría de los bugs de Wolfram
matemáticasbugssoftwarefilosofía
July 26, 2026
La noche oscura de las matemáticas: cuatro crisis que redefinieron la disciplina
MatemáticasFilosofía de la CienciaPensamiento
July 23, 2026
El genio matemático Terence Tao usa ChatGPT para resolver un problema centenario
IAMatemáticasChatGPTTao
July 22, 2026
La IA encuentra contraejemplos matemáticos: las conjeturas de Erdős, Grothendieck y la Jacobiana caen en dos meses
IAMatemáticasLeanVerificación Formal
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
July 4, 2026
Un bug oculto durante 16 años que las matemáticas encontraron en 20 pasos
SQLiteTLA+Verificación FormalWAL