DeepSeek выпустила математическую ИИ-модель Prover-V2

Китайская ИИ-лаборатория DeepSeek выложила в открытый доступ новую ориентированную на математику ИИ-модель Prover. Об этом пишет SCMP. 

Prover-V2 с открытым исходным кодом загружена на Hugging Face без официальных анонсов. Она является обновлением Prover-V1.5, которая дебютировала в августе — за несколько месяцев до громкого выпуска R1. Тогда компания описала продукт как модель для формального ...

https://clck.ru/3Ln5zJ