Китайский стартап DeepSeek объявил о значительном прорыве в области искусственного интеллекта: их новая модель DeepSeekMath-V2 продемонстрировала результаты, соответствующие уровню золотой медали на Международной математической олимпиаде (IMO) 2025 года и Китайской математической олимпиаде (CMO) 2024 года. Это событие ставит компанию в один ряд с ведущими мировыми лабораториями в сфере ИИ.
Новый стандарт в решении математических задач
Модель DeepSeekMath-V2 показала выдающиеся способности в решении сложнейших математических задач. На престижном математическом конкурсе для студентов Putnam модель набрала 118 баллов из 120 возможных, что значительно превосходит лучший результат среди людей, составляющий 90 баллов. На IMO 2025 года ИИ успешно решил 5 из 6 задач. Такие достижения свидетельствуют о способности модели конкурировать с лучшими математиками мира.
Отличительной особенностью DeepSeekMath-V2 является её архитектура, построенная на базе модели DeepSeek-V3.2-Exp-Base. Она включает в себя многоэтапный процесс проверки решений, где специальный верификатор оценивает корректность каждого шага доказательства. Это позволяет системе самостоятельно анализировать и улучшать свои решения в реальном времени, избегая "галлюцинаций", когда правильный ответ достигается за счет ошибочных рассуждений. Примечательно, что модель не использует внешние инструменты, такие как калькуляторы или интерпретаторы кода, полагаясь исключительно на обработку естественного языка.
Открытость как преимущество
В отличие от конкурентов, таких как OpenAI и Google DeepMind, которые держат в секрете технические детали своих архитектур, DeepSeek опубликовала подробную информацию о своей модели. Такой подход к открытости резко контрастирует с принятой в индустрии практикой и позволяет исследователям по всему миру изучать логику и алгоритмы, лежащие в основе DeepSeekMath-V2. Веса модели находятся в открытом доступе на платформе Hugging Face по лицензии Apache-2.0, что является значительным вкладом в развитие открытого научного сообщества.
Перспективы и значение для индустрии
Успех DeepSeekMath-V2 демонстрирует значительный прогресс в способности ИИ к сложным, абстрактным рассуждениям, что традиционно считалось исключительно человеческой прерогативой. Способность модели не просто находить ответ, а выстраивать строгие математические доказательства, открывает новые горизонты для применения ИИ в науке и исследованиях. Подход, основанный на самокритике и верификации, может стать основой для создания более надежных и прозрачных интеллектуальных систем.
В заключение, достижения DeepSeekMath-V2 являются важной вехой в развитии искусственного интеллекта. Демонстрация способности решать математические задачи олимпиадного уровня в сочетании с открытой публикацией технических деталей не только подтверждает высокий уровень разработок компании, но и способствует дальнейшему прогрессу всей отрасли.