Diffusion-Proof: Demostración Formal más Allá de la Autorregresión Descubre Diffusion-Proof, framework que aplica modelos de difusión para demostrar teoremas formales, superando a modelos autorregresivos y resolviendo un 2026-06-18 · 2 min
