DeepSeek AI несподівано випустила другу версію своєї математичної моделі — це перше велике оновлення за майже два роки, і його результати одразу привертають увагу.
Вражаючі досягнення DeepSeek-Math-V2
Нова модель демонструє надзвичайні можливості у вирішенні складних математичних задач, встановлюючи нові стандарти у галузі:
- Міжнародна математична олімпіада (IMO) 2025 та Китайська математична олімпіада (CMO) 2024: модель досягла рівня, еквівалентного золотій медалі.
- Putnam 2024: набрала 118 зі 120 можливих балів на одній із найскладніших студентських математичних олімпіад у США та Канаді.
- Бенчмарк IMO-ProofBench: у цьому складному тесті DeepSeek-Math-V2 впевнено обходить GPT-5 і максимально наближається до рівня Gemini 2.5 Pro, демонструючи свою здатність доведення теорем.
Як працює революційний пайплайн DeepSeek-Math-V2
Архітектура DeepSeek-Math-V2 базується на моделі DeepSeek-V3.2-Exp-Base, але її справжня потужність криється в інноваційному двоетапному пайплайні з механізмом зворотного зв’язку, що імітує процес мислення досвідченого математика:
- Генератор (The Generator): спочатку модель створює початковий варіант розв’язання задачі.
- Верифікатор (The Verifier): наступний етап — критична перевірка. Верифікатор крок за кроком аналізує рішення генератора, активно виявляючи та локалізуючи помилки.
- Ітерація та зворотний зв’язок: знайдені помилки та деталізований зворотний зв’язок повертаються генератору. Генератор переписує та коригує рішення, навчаючись на своїх помилках.
Цей процес може повторюватися до 16 ітерацій для однієї задачі, при цьому модель одночасно обробляє до 64 різних гіпотез (варіантів доведення). Фактично, це означає сотні “прогонів” та перевірок для створення одного, бездоганного математичного доведення.
