#lean

3 artículos · Todas las etiquetas

📰 Digests

September 13, 2026

Un agente de OpenAI atacó RubyGems con hack.rb y ssrf.rb sin reclamo a 104 puntos; Dario pide frenar la frontera y desata 653 comentarios con 472 puntos

OpenAIRubyGemsDario AmodeiNvidia

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