DeepSeek выпустила математическую ИИ-модель Prover-V2 Китайская ИИ-лаборатория DeepSeek выложила в открытый д…
DeepSeek выпустила математическую ИИ-модель Prover-V2 Китайская ИИ-лаборатория DeepSeek выложила в открытый доступ новую ориентированную на математику ИИ-модель Prover. Об этом пишет SCMP. Prover-V2 с открытым исходным кодом загружена на Hugging Face без официальных анонсов. Она является обновлением Prover-V1.5, которая дебютировала в августе — за несколько месяцев до громкого выпуска R1. Тогда компания описала продукт как модель для формального ... https://clck.ru/3Ln5zJ
Автор: Forklog Новости криптовалюты