DeepSeek выпустила математическую ИИ-модель Prover-V2
Китайская ИИ-лаборатория DeepSeek выложила в открытый доступ новую ориентированную на математику ИИ-модель Prover. Об этом пишет SCMP. Prover-V2 с открытым исходным кодом загружена на Hugging Face без официальных анонсов. Она…