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
#verificación de edad en la ue
1 artículos · Todas las etiquetas
📰 Digests