Goedel-Architect: Optimizando la demostración formal con planos
Descubre Goedel-Architect, el marco agéntico que revoluciona la demostración formal en Lean 4. Alcanza un 99.2% en MiniF2F y 75.6% en PutnamBench. Ahorra hasta 500x en costos.
#demostración formal de teoremas