Pythagoras-Prover: Demostración formal eficiente con Lean aumentada Pythagoras-Prover: prover Lean open source que supera a modelos gigantes con 167x menos parámetros, logrando récords en MiniF2F y PutnamBench. 2026-06-12 · 3 min
