Lean
Archivo temático • 1 resultados
Generado por IA: resúmenes redactados por IA a partir de las fuentes enlazadas. Cómo usamos la IA
2026-10-07
Tecnología
Una prueba asistida por IA para el empaquetado óptimo de 11 cuadrados ha pasado la verificación formal con Lean. La ejecución de verificación de EvolvingPrograms completada aceptó los 7,920 módulos Lean locales, con una auditoría final que reportó cero admisiones.
Investigación de IA • Hacker News
Enlace permanente