Tag

#Lean 4

2 artículos encontrados.

IA descubre conjeturas matemáticas: el nuevo Riemann con IA

Un marco de trabajo basado en LLM logra generar y validar conjeturas matemáticas de alto impacto, acercándose a hallazgos revolucionarios como la hipótesis de Riemann.

5 min lectura2hIAOnda Redaccion

Tutoriales

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 lectura4semIAOnda Redaccion