Gauss es un sistema de autoformalización que escribe y verifica automáticamente pruebas en Lean, trabajando ininterrumpidamente durante horas. Gauss ejecuta el verificador, detecta fallos y propone correcciones -todo en bucles automáticos y a gran escala: Según el anuncio el

→ View original post on X — @dotcsv