Model ReleasesРазбираем DeepSeek-Prover — новую серию специализированных моделей для доказательства теорем в Lean 4, которая устанавливает новые рекорды в бенчмарке miniF2F.около 2 лет назад5 мин чтения
