¡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 más del 2%, ahora el SOTA es del 50%. Estamos entrando en una nueva era de capacidades de demostración de teoremas…
70,41K