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