← Вернуться к списку
DeepSeek представляет DeepSeek-Prover-V2: развитие нейронного доказательства теорем с помощью рекурсивного поиска доказательств и нового эталонного теста
Краткое содержание
DeepSeek AI выпускает DeepSeek-Prover-V2 — открытую нейросеть (LLM), предназначенную для доказательства теорем в Lean 4. Она применяет рекурсивный поиск доказательств совместно с использованием DeepSeek-V3 для тренировочных данных и подкрепляющего обучения, достигая наилучших результатов на наборе MiniF2F. Эта новость впервые появилась на Synced.
Полный текст статьи пока не загружен.