#lean

2 artículos · Todas las etiquetas

📰 Digests

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

📡 Events

July 22, 2026

La IA encuentra contraejemplos matemáticos: las conjeturas de Erdős, Grothendieck y la Jacobiana caen en dos meses

IAMatemáticasLeanVerificación Formal