DeepSeek представила ИИ-модель с двойной проверкой решений

Компания DeepSeek запустила новую математическую ИИ-модель DeepSeekMath-V2, которая использует революционную самопроверяемую архитектуру. Система объединяет две большие языковые модели: одна генерирует математическое решение, а вторая тщательно проверяет логику рассуждений на каждом этапе.

По словам разработчиков, такой механизм устраняет критическое ограничение современных ИИ-систем, которые могут выдавать правильный ответ при наличии логических ошибок в процессе решения. DeepSeekMath-V2 способна не только находить верные результаты, но и предоставлять строго обоснованные доказательства.

Эффективность новой модели подтверждена выдающимися результатами на престижных математических соревнованиях. При решении задач олимпиады Патнема за 2024 год система набрала 118 из 120 возможных баллов, значительно превзойдя лучший человеческий результат в 90 баллов.

Модель также продемонстрировала уровень золотых медалистов на Международной математической олимпиаде 2025 года и Китайской математической олимпиаде 2024 года. Эти достижения свидетельствуют о качественном прорыве в области применения искусственного интеллекта для решения сложных логических задач, требующих строгого математического мышления, сообщает "Большая Азия".