August 3, 2026
Karpathy da por superado el benchmark Pelican, un bug de soundness en Lean destapado por un falso contraejemplo de Collatz generado por un LLM, NetBSD 11.0 ya es oficial
KarpathyPelicanbenchmark de IALean
#collatz
1 artículos · Todas las etiquetas
📰 Digests