DeepSeek dezvoltă un model care poate autoverifica inferențele matematice

DeepSeek - Ảnh 1. — DeepSeak a dezvoltat un model de inteligență artificială care nu numai că scrie cod, ci și verifică și își dovedește corectitudinea.

DeepSeekMath-V2 a stabilit recorduri de performanță fără precedent, depășind realizările umane în competiții academice riguroase. În special, modelul a câștigat o medalie de aur la Olimpiada Internațională de Matematică (IMO) din 2025 și a șocat cu un scor de 118/120 la examenul Putnam, depășind cu mult recordul de 90 de cele mai mari scoruri obținute vreodată de oameni.

Însă ceea ce face ca acest model să fie cu adevărat revoluționar nu este scorul, ci funcția de „autoverificare” a DeepSeek.

Mecanismul de autoverificare și corectare a erorilor al DeepSeek

Timp de mulți ani, modelele de inteligență artificială (IA) și modelele de limbaj larg (LLM) s-au confruntat cu o slăbiciune serioasă atunci când rezolvau probleme care necesită logică absolută, cum ar fi matematica, și anume fenomenul „raționament greșit, dar răspuns corect”.

Adică, modelul poate produce aleatoriu răspunsul final corect, dar secvența pașilor de inferență, formulelor sau pașilor logici care au condus la acel rezultat poate fi incorectă, incompletă sau halucinată.

În domeniile științei , ingineriei și matematicii, un răspuns corect cu o soluție greșită nu are absolut nicio valoare și reduce semnificativ fiabilitatea unui sistem de inteligență artificială. DeepSeekMath-V2 a fost creat pentru a pune capăt acestei ere a lipsei de fiabilitate.

Capacitatea de autoverificare a DeepSeekMath-V2 este esențială pentru succesul său. Acesta acționează ca un „auditor intern” în procesul de gândire al inteligenței artificiale. În loc să facă o singură inferență și să ofere un răspuns, modelul DeepSeekMath-V2 încorporează un mecanism bidirecțional.

Primul este rolul de demonstrare, în care modelul generează un lanț inițial de argumente și soluții. Modelul declanșează apoi automat un sistem intern de verificare, care analizează fiecare pas logic al lanțului de argumente tocmai generat, căutând erori, inconsecvențe sau abateri nerezonabile.

Acest proces este foarte similar cu modul în care funcționează sistemul de evaluare IMO-ProofBench, unde o inteligență artificială generează un argument, iar o altă inteligență artificială îl verifică. Prin repetarea acestei verificări încrucișate până când lanțul de argumente este confirmat ca fiind absolut solid, DeepSeekMath-V2 asigură nu numai că răspunsul este corect, ci și calea către acel răspuns este absolut corectă și transparentă.

Deblocând viitorul unei inteligențe artificiale de încredere

Implicațiile acestei metode de inferență autoverificatoare ar putea stabili un nou standard de transparență și încredere pentru aplicațiile de inteligență artificială din lumea reală.

În viitor, acest model poate fi aplicat și în alte domenii importante, cum ar fi: inteligența artificială nu numai că scrie cod, ci și autoverifică și dovedește corectitudinea, reducând la minimum erorile grave.

În plus, inteligența artificială poate verifica automat lanțuri complexe de raționament atunci când dezvoltă ipoteze sau demonstrează noi teoreme, asigurând astfel raționalitatea și siguranța deciziilor importante luate de inteligența artificială.

Decizia DeepSeek de a publica codul sursă al modelului pe platforme precum Hugging Face și GitHub este o mișcare strategică, permițând comunității globale de cercetare să acceseze și să dezvolte acest principiu de inferență verificabil.

DeepSeekMath-V2 reprezintă un salt cuantic înainte, demonstrând nu doar capacitatea superioară a inteligenței artificiale de a rezolva cele mai dificile probleme, ci și asigurând că această abilitate este construită pe o fundație de încredere și logică de nezdruncinat. Aceasta este o dovadă că următoarea generație de inteligență artificială nu va fi doar mai inteligentă, ci și mai onestă și mai transparentă în procesul său de gândire.

Înapoi la subiect

MAREA DE EST

Sursă: https://tuoitre.vn/deepseek-phat-trien-mo-hinh-co-kha-nang-tu-kiem-chung-cac-suy-luan-trong-toan-hoc-2025113016585069.htm