На початку 2025 року DeepSeek привернула до себе увагу, запустивши одну з перших у світі безкоштовних моделей, здатних до міркування. Тепер компанія робить новий крок уперед – вона представила DeepSeekMath-V2, спеціалізовану модель, створену для самоперевірки математичних доведень і формування строгих покрокових логічних висновків. Основний акцент зроблено не на правильності кінцевих числових результатів, а на коректному алгоритмі доведення – зокрема, на задачах рівня математичних теорем.
Щоб дізнатись останні новини, слідкуйте за нашим каналом Google News онлайн або через застосунок.
У DeepSeek пояснили, що нова модель працює за принципом циклу “генерація – верифікація”. Для цього компанія створила точний верифікатор на базі LLM, натренований саме для перевірки доведень. Паралельно було навчено генератор доказів, який використовує цей верифікатор як модель винагороди. В результаті система стимулюється не просто давати відповідь, а знаходити помилки у власних аргументах і виправляти їх. Масштабована перевірка дозволяє автоматично маркувати нові, складні для оцінювання доведення, формуючи навчальні дані, що постійно покращують точність верифікатора.
DeepSeekMath-V2 уже продемонструвала вражаючі можливості в реальних математичних випробуваннях. Модель отримала результати на рівні “золотої медалі” на міжнародній олімпіаді IMO 2025 та китайській CMO 2024, а також досягла майже ідеального показника, 118 балів зі 120, на Putnam 2024 при використанні масштабованих обчислень у момент тестування.
В основі нової моделі лежить архітектура DeepSeek-V3.2-Exp-Base. Вона доступна для завантаження на платформі HuggingFace, а для запуску виведення компанія пропонує ознайомитися з відповідною підтримкою у репозиторії DeepSeek-V3.2-Exp на GitHub.
Поява DeepSeekMath-V2 є особливо цікавою з огляду на потенціал, який вона може розкрити у фундаментальній математиці. Значне покращення навичок доведення в AI може стати основою для нових наукових проривів у різних сферах, від технологічних розробок до медичних інновацій. І хоча чекати миттєвого розв’язання задач тисячоліття ще зарано, розвиток таких моделей наближає нас до майбутнього, де штучний інтелект зможе допомагати у вирішенні найскладніших математичних загадок.
Більше інформації про модель можна знайти на її окремій сторінці GitHub. Там же доступна наукова стаття у форматі PDF, а саму модель можна завантажити на HuggingFace.
Читайте також:
- Революція поза пікселями: Як AI переписує майбутнє телебачення
- Google представила AI-модель Nano Banana Pro