DeepSeek обновляет свою математическую модель искусственного интеллекта Prover

DeepSeek обновляет свою математическую модель искусственного интеллекта Prover

Китайская лаборатория искусственного интеллекта DeepSeek незаметно обновила Prover, свою модель искусственного интеллекта, предназначенную для решения математических доказательств и теорем.

По сообщению South China Morning Post, DeepSeek уже загрузил последнюю версию Prover, V2, на Hugging Face