Seed-Prover от ByteDance занимает первое место на PutnamBench, решив 329 из 657 задач в Lean! 🤯 6 месяцев назад ни одна модель не могла решить более 2%, теперь SOTA составляет 50%. Мы вступаем в новую эру возможностей доказательства теорем…
70,42K