Diffusion-Proof: Demostración Formal Más Allá de la Generación Autorregresiva Diffusion-Proof aplica LLMs difusivos a la demostración formal de teoremas, superando modelos autorregresivos con coherencia de largo alcance y corrección 2026-06-18 · 3 min