ByteDance’s Seed-Prover führt die Rangliste auf PutnamBench mit 329 von 657 gelösten Problemen in Lean an! 🤯 Vor 6 Monaten konnte kein Modell mehr als 2% lösen, jetzt liegt der SOTA bei 50%. Wir treten in eine neue Ära der Theorembeweisfähigkeiten ein…
68,29K