ByteDances Seed-Prover toppar listorna på PutnamBench med 329 av 657 lösta problem i Lean! 🤯 För 6 månader sedan kunde ingen modell lösa >2%, nu är SOTA 50%. Vi går in i en ny era av teorembevisningsförmåga ...
70,42K