Seed-Prover ByteDance menduduki puncak tangga lagu di PutnamBench dengan 329 dari 657 masalah yang diselesaikan di Lean! 🤯 6 bulan yang lalu tidak ada model yang bisa menyelesaikan >2%, sekarang SOTA adalah 50%. Kita memasuki era baru teorema yang membuktikan kemampuan...