DeepSeek представила ШІ-модель із подвійною перевіркою рішень

Компанія DeepSeek представила нову математичну модель DeepSeekMath-V2 – систему, що працює за принципово новою архітектурою самоперевірки. У її основі – взаємодія двох мовних моделей: одна генерує розв’язання задачі, інша покроково перевіряє логіку та обґрунтованість кожного кроку.

Розробники пояснюють, що саме ця властивість усуває ключову проблему сучасних ШІ – здатність давати правильні відповіді, але з помилками в міркуваннях. DeepSeekMath-V2 не лише знаходить правильний результат, а й супроводжує його коректними та формально доведеними аргументами.

Результати тестування підтверджують проривний рівень системи. На завданнях Патнема за 2024 рік модель набрала 118 із 120 балів, що значно перевищує рекордні людські показники – приблизно 90 балів.

DeepSeekMath-V2 також продемонструвала рівень золотих медалістів на Міжнародній математичній олімпіаді 2025 року та Китайській математичній олімпіаді 2024 року. Такі показники свідчать про серйозний крок уперед у використанні штучного інтелекту для розв’язання складних логічних і формалізованих математичних задач.

Источник: itechua.com