Model ReleasesDeepSeek представила DeepSeek-Prover-V2 — второе поколение open-source моделей для доказательства теорем в Lean 4, устанавливающее новые SOTA-рекорды.больше 1 года назад5 мин чтения
