Le Seed-Prover de ByteDance est en tête des classements sur PutnamBench avec 329 des 657 problèmes résolus en Lean ! 🤯 Il y a 6 mois, aucun modèle ne pouvait résoudre plus de 2 %, maintenant l'état de l'art est de 50 %. Nous entrons dans une nouvelle ère des capacités de preuve théorique…
70,41K