ArXiv cs.AI
Visión editorial CMadrid
LeanMarathon: hacia co-matemáticos confiables en IA a través de la autoformalización Lean a largo plazo
arXiv:2606.05400v1 Tipo de anuncio: nuevo Resumen: La autoformalización a largo plazo de las matemáticas de investigación falla no solo en lemas difíciles, sino también a escala: las declaraciones se desvían, las dependencias se enredan, el contexto decae y las reparaciones locales corrompen el trabajo distante. Presentamos LeanMarathon, un arnés de múltiples agentes para la autoformalización Lean confiable a nivel de investigación. Su abstracción central
Por qué importa para Chile y Latam
Lectura CMadrid: los cambios en IA suelen trasladarse a costos, empleo y competencia en la región; vale evaluar impacto en estrategia digital local.
Leer fuente original Volver al inicio
Como Afiliados de Amazon, podemos recibir comisiones por compras calificadas sin costo extra para ti.