August 3, 2026 Una IA 'desmiente' un enigma matemático de 90 años: el verificador falló primero IAMatemáticasVerificación Formal
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 4, 2026 Un bug oculto durante 16 años que las matemáticas encontraron en 20 pasos SQLiteTLA+Verificación FormalWAL
