Seed-Prover firmy ByteDance zajmuje pierwsze miejsce w rankingu PutnamBench, rozwiązując 329 z 657 problemów w Lean! 🤯 6 miesięcy temu żaden model nie mógł rozwiązać >2%, teraz SOTA wynosi 50%. Wkraczamy w nową erę możliwości dowodzenia twierdzeń…
70,41K