- DeepSeek a lansat DeepSeek-Math-V2, primul model AI open-source care atinge nivel de medalie de aur la IMO 2025
- Scorul îl plasează în top ~8% dintre olimpicii umani, rezolvând probleme prin raționament, nu doar prin „ghicirea” rezultatului
- Modelul e public pe Hugging Face și GitHub, deci poate fi rulat și modificat gratuit, inclusiv pe hardware propriu
- Piesa de rezistență e „self-verification”: AI-ul își verifică singur demonstrațiile, util pe probleme fără soluții cunoscute
- Lansarea vine cu un context sensibil: DeepSeek a fost criticat și chiar blocat în unele țări din cauza temerilor legate de date
Dacă Olimpiada Internațională de Matematică ar avea un club exclusivist, intrarea s-ar face pe bază de demonstrații, nu pe vorbe frumoase. În 2025, în acel club a intrat și un model de inteligență artificială – dar surpriza nu e doar că a intrat, ci că și-a lăsat ușa deschisă pentru oricine.
Startupul chinez DeepSeek a lansat DeepSeek-Math-V2, un model open-source care a obținut un scor echivalent cu medalia de aur la IMO 2025. Pe scurt: un AI care joacă în liga grea a matematicii și pe care îl poți descărca gratis.
Ce s-a întâmplat?
DeepSeek spune că noul său model a rezolvat problemele IMO la nivel de „aur” – adică exact pragul pe care îl ating, de obicei, cei mai buni ~8% dintre participanții umani. Nu e un test de tip „calcul rapid”, ci unul de idei originale și logică riguroasă, unde trebuie să explici de ce ai dreptate, nu doar cât îți dă. Fix asta susține DeepSeek că face Math-V2: construiește pași de raționament, nu doar aruncă un rezultat.
Cine e implicat?
DeepSeek e un startup relativ tânăr, dar care a devenit rapid vizibil în 2025 după ce și-a promovat modelele ca fiind mai ieftin de antrenat decât rivalii americani. În poveste intră și Hugging Face și GitHub, unde modelul a fost publicat. În fundal, ca termen de comparație, sunt OpenAI și Google DeepMind: ambele au raportat performanțe olimpice similare, dar fără să deschidă complet codul.
Un „geniu de olimpiadă” la liber: ce înseamnă aurul IMO pentru AI
IMO e genul de competiție unde poți să știi toată materia și tot să te blochezi, pentru că problemele sunt făcute să te scoată din rutină. Faptul că un AI ajunge la aur aici e un indicator dur că avem modele care pot ține un fir logic lung, pot inventa mici trucuri matematice și pot „vedea” structuri în problemă.
Dar adevărata diferență față de ce am văzut până acum e accesul. Clement Delangue, CEO-ul Hugging Face, a spus-o în stilul lui: e ca și cum ai avea „creierul unuia dintre cei mai buni matematicieni din lume” pe gratis, pe propriul computer. Pentru elevi care se pregătesc de olimpiade, pentru profesori și pentru cercetători, asta e o schimbare de ritm: dintr-o demonstrație de laborator devine o unealtă de zi cu zi.
Cum reușește modelul să se autocorecteze și de ce e asta rar
Multe modele AI sunt bune pe probleme unde știi imediat dacă au greșit: dai un test, compari răspunsul, gata. La matematică de olimpiadă, situația e diferită: nu ai întotdeauna o soluție „în spate” ca să spui rapid dacă demonstrația e validă.
DeepSeek spune că Math-V2 are o abilitate numită „self-verification” – adică își verifică singur soluțiile, ca un olimpic care recitește demonstrația și își găsește singur erorile de logică. Practic, modelul încearcă o cale, o testează intern, revine și o repară dacă nu se leagă. Asta îl ajută nu doar la IMO, ci și la orice domeniu unde nu există răspunsuri facile: cercetare matematică, fizică teoretică, chiar și programare complexă.
Open-source vs. big tech: DeepSeek joacă pe alt teren decât OpenAI și DeepMind
E imposibil să nu compari. DeepMind ar fi atins aurul cu un model disponibil doar contra cost pentru abonați premium. OpenAI nu a lansat public o versiune olimpică, cel puțin deocamdată. DeepSeek a făcut exact invers: a dat modelul complet comunității.
Asta ridică o întrebare interesantă despre direcția pieței: dacă open-source-ul ajunge la același nivel cu marile companii, ce mai cumperi, de fapt, de la un gigant AI? Răspunsul probabil se mută spre infrastructură, integrare și suport, nu spre „modelul în sine”.
Performanță de vârf, dar cu întrebări serioase despre încredere și date
Totuși, DeepSeek nu vine într-un vacuum politic. În 2025, aplicația companiei a fost interzisă pe unele dispozitive guvernamentale în SUA și blocată temporar în Italia, pe fondul suspiciunilor privind modul în care sunt colectate și stocate datele utilizatorilor, în raport cu regulile GDPR.
Aici e o nuanță importantă: DeepSeek-Math-V2 e open-source și poate rula local, deci nu trebuie să trimiți date către servere chineze ca să-l folosești. Dar contextul rămâne relevant: orice tehnologie AI din China e privită la microscop în Occident, iar asta va influența cât de repede ajunge în școli, companii și instituții publice.
Pe scurt, DeepSeek-Math-V2 e un dublu moment: tehnologic, pentru că arată că AI-ul de raționament ajunge la vârf în matematică; și cultural, pentru că pune acel vârf la liber. Dacă până ieri „aurul IMO” era un trofeu într-un laborator big tech, de azi e și un download. Iar asta schimbă tabla de joc.