Tag

#Verificacion formal

5 artículos encontrados.

OpenAI y los matemáticos: avances brillantes, relaciones rotas

OpenAI forma un consejo asesor para reparar puentes con la comunidad matemática, pero la opacidad y la prisa vuelven a generar desconfianza. ¿Puede la IA ganar la confianza de la ciencia rigurosa?

6 min lectura3dIAOnda Redaccion

Modelos IA

Leanstral 1.5 de Mistral destaca en verificación formal y descubre bugs reales

Mistral AI lanza Leanstral 1.5, modelo open-source para verificación formal en Lean 4, que supera pruebas de matemáticas y detecta cinco errores desconocidos en repositorios públicos. Este avance muestra cómo la IA puede mejorar la seguridad del código crítico.

5 min lectura12semIAOnda Redaccion

Investigación

DeFAb mide la creatividad lógica de la IA y expone sus límites

DeFAb convierte décadas de conocimiento público en pruebas de abducción derrotable. Los modelos líderes caen frente a un verificador simbólico: 23,5% frente al 100%.

5 min lectura15semIAOnda Redaccion

Investigación

Cambiando la forma de traducir lógica formal a idioma natural

Una plataforma de inteligencia artificial combina la precisión de la lógica formal con la flexibilidad de la traducción automática, permitiendo la creación de herramientas más confiables para la verificación de seguridad crítica.

5 min lectura18semIAOnda Redaccion

Investigación

IA y Matemáticas: Verificación Histórica de Pruebas de una Medalla Fields

Maryna Viazovska, ganadora de la Medalla Fields, ve sus pruebas matemáticas verificadas formalmente mediante IA, marcando un hito en la colaboración humano-máquina. Este avance acelera la investigación matemática y abre nuevas puertas para la resolución de problemas complejos.

5 min lectura28semIAOnda Redaccion