DeepSeek Prover V2
Раньше писал, что DeepSeek R2 планируется в апреле, сегодня последний день апреля и где?
Похоже, релиз все же будет, но в другой модели: на HuggingFace только что появились веса DeepSeek Prover V2 671B — обновленной модели для доказательства теорем и математики.
Для меня DeepSeek сейчас самая удобная модель для всех моих вопросов, начиная от "какой шашлык выбрать на майские" и заканчивая "найти 10 аргументов в споре с женой". неработающие аргументы...
Сейчас в веб версии доступна модель R1, и она фантастически хороша, жду не дождусь R2. Надеюсь, что текущий релиз Prover V2 671B встроят в основную ветку (как MoE или как отдельную утилиту, которую будет вызывать основная модель - мне без разницы).
