October 27, 2026
OpenAI refuta la hipótesis del tiempo exponencial y entrega la verificación a sus autores
OpenAIInformática TeóricaVerificación FormalComplejidad Computacional
#verificación formal
6 artículos · Todas las etiquetas
📡 Events
October 23, 2026
Opus 5.5 genera 180 millones de líneas de pruebas formales para 123 librerías de código abierto
Verificación FormalLLMAnthropicSeguridad de la Cadena de Suministro de Software
October 18, 2026
Lean 4.35 incorpora cuatro núcleos: demostrar formalmente al propio verificador de pruebas
LeanVerificación FormalAuditoría de Código con IACompiladores
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