DeepSeekMath-V2: ИИ взломал математические олимпиады!
DeepSeek представила модель DeepSeekMath-V2 — специализированный ИИ, способный решать сложные математические задачи и доказывать теоремы. Впервые для открытой модели, DeepSeekMath-V2 демонстрирует результаты, сравнимые с участниками Международной математической олимпиады (IMO-2025) и Китайской математической олимпиады (CMO-2024).
Модель, основанная на базе DeepSeek-V3.2-Exp-Base, использует архитектуру «генератор + проверяющий». Генератор предлагает решения, а проверяющий оценивает их корректность, обеспечивая строгость доказательств.
В отличие от многих других открытых математических моделей, DeepSeekMath-V2 акцентирует внимание на полном обосновании решения, а не только на конечном ответе. Это позволяет ей решать олимпиадные задачи на уровне таких закрытых систем, как Gemini 2.5 DeepThink и экспериментальный ИИ OpenAI.
DeepSeekMath-V2 содержит 685 миллиардов параметров, а её вес в формате fp8 занимает около 690 ГБ. Это требует значительных вычислительных ресурсов для запуска, сравнимых с небольшим исследовательским кластером. Доступ к весам и техническая документация открыты.
Разработчики обеспечивают интеграцию с формальными доказчиками, такими как DeepSeek-Prover-V2, для преобразования доказательств в формат Lean.
Ну, теперь даже школьники смогут сдать олимпиаду, просто подсунув решение DeepSeekMath-V2. Хотя, постойте, это же читерство! А мы-то думали, где настоящий вызов интеллекту…
