DeepSeek розробляє модель, яка може самостійно перевіряти математичні висновки

DeepSeek - Ảnh 1. — DeepSeak розробила модель штучного інтелекту, яка не лише пише код, а й перевіряє та доводить свою правильність.

DeepSeekMath-V2 встановив безпрецедентні рекорди продуктивності, перевершивши людські досягнення у жорстких академічних змаганнях. Примітно, що модель виграла золоту медаль на Міжнародній математичній олімпіаді (IMO) 2025 року та вразила результатом 118/120 на іспиті Патнема, що значно перевершило рекорд із 90 найвищих балів, коли-небудь досягнутих людьми.

Але справді новаторською цю модель робить не сам рахунок, а функція «самоперевірки» DeepSeek.

Механізм самоперевірки та виправлення помилок DeepSeek

Протягом багатьох років моделі штучного інтелекту (ШІ) та моделі великих мов (LLM) стикалися з серйозною слабкістю під час вирішення задач, що потребують абсолютної логіки, таких як математика, а саме з феноменом «неправильного міркування, але правильної відповіді».

Тобто, модель може випадковим чином видати правильну остаточну відповідь, але послідовність кроків логічного висновку, формул або логічних кроків, що призвели до цього результату, може бути неправильною, неповною або хибною.

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

Здатність DeepSeekMath-V2 до самоперевірки є основою його успіху. Він діє як «внутрішній аудитор» у процесі мислення штучного інтелекту. Замість того, щоб просто робити один висновок і виводити відповідь, модель DeepSeekMath-V2 включає двосторонній механізм.

Перша — це роль доведення, де модель генерує початковий ланцюжок аргументів та рішень. Потім модель автоматично запускає внутрішню систему перевірки, яка переглядає кожен логічний крок щойно згенерованого ланцюжка аргументів, шукаючи помилки, невідповідності або необґрунтовані переходи.

Цей процес дуже схожий на те, як працює система оцінювання IMO-ProofBench, де один штучний інтелект генерує аргумент, а інший його перевіряє. Повторюючи цю перехресну перевірку, доки ланцюжок аргументів не буде підтверджено як абсолютно надійний, DeepSeekMath-V2 гарантує, що не тільки відповідь правильна, але й шлях до цієї відповіді також абсолютно правильний і прозорий.

Розкриття майбутнього надійного штучного інтелекту

Наслідки цього методу самоперевірки висновків можуть встановити новий стандарт прозорості та достовірності для реальних застосувань штучного інтелекту.

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

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

Рішення DeepSeek публічно опублікувати вихідний код моделі на таких платформах, як Hugging Face та GitHub, є стратегічним кроком, що дозволяє світовій дослідницькій спільноті отримати доступ до цього принципу перевіреного висновку та розвивати його.

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

Повернутися до теми

СХІДНЕ МОРЕ

Джерело: https://tuoitre.vn/deepseek-phat-trien-mo-hinh-co-kha-nang-tu-kiem-chung-cac-suy-luan-trong-toan-hoc-2025113016585069.htm