Китайская лаборатория искусственного интеллекта DeepSeek без лишнего шума обновила Prover — свою модель искусственного интеллекта, предназначенную для решения математических доказательств и поиска теорем.
По данным South China Morning Post, DeepSeek загрузил последнюю версию Prover, V2, и упрощенный вариант на платформу разработки AI Hugging Face поздно вечером в среду.
Ria24.today - агрегатор самых свежих новостей ведущих новостных сайтов со всего мира. 300+ информационных ресурсов на одном сайте, экономьте своё время.
Самые свежие новости на главной странице, чтобы вы всегда были в курсе, и владели информацией, полученной из разных источников, порой, с диаметральными политическими взглядами.
Актуальные новости 24 часа в сутки, 7 дней в неделю!
©2025. Все права защищены.
habr.com