ByteDances Seed-Prover topper listene på PutnamBench med 329 av 657 problemer løst i Lean! 🤯 For 6 måneder siden kunne ingen modell løse >2%, nå er SOTA 50%. Vi går inn i en ny æra av teorembevisende evner ...
68,29K