Seed-Prover de ByteDance encabeza las listas en PutnamBench con 329 de 657 problemas resueltos en Lean! 🤯 Hace 6 meses ningún modelo podía resolver el >2%, ahora SOTA es del 50%. Estamos entrando en una nueva era de capacidades de demostración de teoremas...
69.51K