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